Appendix a caberNet Related Projects
Download 1.3 Mb.
|
- Navigate this page:
- Project Title : Design and Realization of Survivable Computer Systems and Networks
The Project:Integrating the authorization of access to national services with the constantly changing requirements for access and resource management within institutions leads to a very complex network of constraints, and will lead to high operational costs and barriers to uptake. This project is studying the potential of the recent research work on policy driven management to provide more effective solutions to the integrated management of security. It is using an extended scenario to estimate the complexity involved and the benefits of a policy-based approach in overcoming it. It will deliver a review of how these techniques can be applied to the national academic infrastructure over a five-year period and identify the actions needed to realise the benefits.List of relevant chapters: Distributed Systems Security Three publications reporting outcomes from the project Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Design and Realization of Survivable Computer Systems and NetworksStart Date: 1999 End Date: ongoing URL: http://www.informatik.uni-hamburg.de/TKRN/world/abro/ongore.htm CaberNet members involved on the project: University of Hamburg, Germany Other Partners: Members of Deutsches Forschungsnetz (DFN) The Project: Survivable systems are known to be resistant to different kinds of problems. Among these are failures due to software or hardware faults, but also attacks caused by computer criminals. The design and implementation of survivable systems therefore requires a variety of different steps to support system analysis and synthesis. In this project, we elaborate a new approach to design survivable systems (in particular computer and communication networks) based on a repeatedly applied analysis of the system to identify various kinds of threats, errors and performance bottlenecks. Our evaluation of a survivable system combines fault-, performance- and security management. In [Benecke 2002] the approach is applied, by way of example, to packet screens as important building blocks of firewalls. Another emphasis of the project is put on the efficient solution of analytical reliability models and their application to communication networks [Heidtmann 2002]. List of relevant chapters: Distributed Systems Security Three publications reporting outcomes from the project: [Benecke 2002] Benecke C., Überlebensfähige Sicherheitskomponenten für Hochgeschwindigkeitsnetze - Entwurf und Realisierung am Beispiel einer Packet Screen, Dissertation, FB Informatik, Univ. Hamburg, 2002, erschienen in: Wolfinger B.E. (Hrsg.), Berichte aus dem Forschungsschwerpunkt Telekommunikation und Rechnernetze, Band 3, Shaker-Verlag, Aachen, 2002 [Heidtmann 2002] Heidtmann K., Statistical Comparison of Two Sum-of-Disjoint-Products Algorithms for Reliability and Safety Evaluation, 21st Intern. Conf. on Computer Safety, Reliability and Security, SAFECOMP 2002, Catania/Italy, September, 2002, in: Anderson S., Bologna S., Felici M. (Eds.), Computer Safety, Reliability and Security, Lecture Notes in Computer Science No. 2434, Springer, Berlin, 2002, pp. 70-81 Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Design Support Environments for Distributed Systems Start Date: 1 April 2000 End Date: 2003 URL: http://www.cs.kent.ac.uk/projects/dse4ds/ CaberNet members involved on the project: University of Kent, UK Other Partners: The Project: This project aims to extend facilities for the design of multimedia distributed systems, to ensure that they can meet the needs of complex systems which will include the use of stream communication, multicasting and Quality of Service (QoS) constraints. The work will augment UML to support specification and design of distributed multimedia systems by providing support for streams, Quality of Service and multicasting, and provide a basis for predictions on performance and to ensure they meet QoS constraints the design environment. The project builds on the work of the Permabase project, funded by BT Networks and Systems which designed and produced prototypes for automated performance prediction for distributed systems List of relevant chapters: Distributed Multimedia Platforms Three publications reporting outcomes from the project Design and Verification of Distributed Multi-media Systems. D.H. Akehurst, B. Bordbar, J. Derrick, A.G. Waters. Technical Report 1-03, University of Kent at Canterbury, January 2003. Design Support for Distributed Systems: DSE4DS. D.H .Akehurst, B. Bordbar, J. Derrick, A.G. Waters. In J. Finney, M. Haahr, A. Montressor, Eds, Procedings of the 7th CaberNet Radicals Workshop, October 2002. A framework for UML consistency. J. Derrick, D. Akehurst, E. Boiten. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, Z. Huzar, Eds, UML 2002. Workshop on Consistency Problems in UML-based Software Development, pp. 30-45, October 2002. Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Development and Analysis of Fault Tolerant Distributed Applications Based on Time Triggered Architecture for Automotive Environment Start Date: ongoing End Date: URL: http://www.disca.upv.es/gstf CaberNet members involved on the project: Universidad Politécnica de Valencia, Spain Other Partners: The Project: The objective of this project is to design a brake by wire system based on Time Triggered Architecture and a bridge for a light control subsystem based on CAN network. List of relevant chapters: Real Time Systems, Network and Distributed System Management Three publications reporting outcomes from the project Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Distributed Expert Systems for Process Monitoring and Controlling: Alcoholic Fermentation Application Start Date: ongoing End Date: URL: http://www.disca.upv.es/gstf CaberNet members involved on the project: Universidad Politécnica de Valencia, Spain Other Partners: The Project: The objective of this project is to design a distributed architecture that uses a variation of expert systems called ruled-nets for the control of chemical process systems applied to alcoholic fermentation. List of relevant chapters: Dependable Systems Three publications reporting outcomes from the project Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Emergency Multimedia Start Date: ongoing End Date: URL: http://www.comp.lancs.ac.uk/computing/staff/adrian.html/links.php?TopicId=1&Topic=Projects CaberNet members involved on the project: Lancaster University, UK Other Partners: The Project: Emergency Multimedia (EMM) explores the use of mobile computer systems to assist the Langdale and Ambleside Mountain Rescue team (LAMRT). The system is based around a set of devices (medical ECG, pulse and blood oxymetry monitor, GPS compass, digital camera carried in a single rescuer's rucksack whose data can be combined a transmitted in real-time back to the mountain rescue base. The rucksack also contains a small embedded PC (based around a PC104 stack) with a 'DiskOnChip' solid state disk containing Linux and our driver software. List of relevant chapters: Mobile Systems Three publications reporting outcomes from the project Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Equator Start Date: 2001 End Date: 2007 URL: http://www.equator.ac.uk/ CaberNet members involved on the project: Lancaster University, UK Other Partners: University of Bristol, University of Nottingham, The Royal College of Art, University of Southampton, University of Sussex, University College London. The Project: Equator is a six-year Interdisciplinary Research Collaboration (IRC) supported by EPSRC that focuses on the integration of physical and digital interaction. The IRC brings together researchers from eight different institutions and a variety of disciplines that address the technical, social and design issues in the development of new inter-relationships between the physical and digital. A series of experience projects engage with different user communities to develop new combinations of physical and digital worlds and how explore these may be exploit enhance the quality of everyday life. A series of research challenges explore new classes of device that link the physical and the digital, research into adaptive software architectures and new design and evaluation methods that draw together approaches from social science, cognitive science and art and design. List of relevant chapters: Distributed Object and Component Technologies Three publications reporting outcomes from the project K. Clarke, K. Cheverst, G. Dewsbury, D. Fitton, J .Hughes, M. Rouncefield, I. Sommerville, T. Hemmings, T. Rodden. Cultural Probes: Eliciting Requirements for Dependable Ubiquitous Computing in the Home. June 2003. A. Dix, J. Marshall. At the right time: when to sort web history and bookmarks. June 2003. A. Dix, C. Chisalita, G vander Veer. Moments of Significance - the meanings of event: enablement, initiation, completion. June 2003. Crabtree, A., Rodden, T., Hemmings, T., Benford, S. "Finding a place for UbiComp in the home", Proceedings of the 5th Annual Conference on Ubiquitous Computing, October 12th-15th, Seattle: Springer. 2003. Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Event Management for Mobile Users Start Date: 01.01.2001 End Date: 31.12.2003 URL: http://www.informatik.uni-stuttgart.de/ipvr/vs/en/projects/EventManagement/index.html.en CaberNet members involved on the project: University of Stuttgart, Germany; Microsoft Research in Cambridge, UK Other Partners: The Project: The purpose of this project is to investigate possible architectures and mechanisms for an Internet-scale event management system, taking the mobility of the users into account. In order to derive the requirements for such an event management system and to have an environment for testing the results this project is closely integrated with the Nexus project. Here the support for spatial events, e.g. when two people meet or when somebody enters a building, is investigated. The main focus of this project is on the observation of complex events, where the sources of information that are needed for the observation are distributed among different servers. So the information has to be brought together for evaluation, taking into account the properties of the underlying distributed system such as delay and clock synchronization for the semantics of the event observation. The project is carried out as a cooperation between Microsoft Research in Cambridge (UK) and the University of Stuttgart. List of relevant chapters: Mobile Systems Three publications reporting outcomes from the project Bauer, Martin; Rothermel, Kurt: Towards the Observation of Spatial Events in Distributed Location-Aware Systems. In: Wagner, Roland (ed.): Proceedings of the 22nd International Conference on Distributed Computing Systems Workshops, Vienna, 2002. Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Formal analysis of security properties Start Date: Jan. 2003 End Date: Dec. 2005 URL: http://ls4-www.cs.uni-dortmund.de/RVS/Projekte_e.html#fms CaberNet members involved on the project: University of Dortmund Other Partners: The Project: A method is under development which achieves the formal modelling of computer networks, their security mechanisms and services as well as behaviours of attackers and administration processes performing activities of technical network, system, and application management. Networks, mechanisms, services and processes are modelled as State Transition Systems. Verification and analysis apply Leslie Lamport’s Temporal Logic of Actions (TLA). The specification technique cTLA and a cTLA-based specification framework are used in order to support the modular description of systems and their structured verification. Moreover the cTLA-specifications used can be translated into Gerard Holzmann’s Protocol Specification Language PROMELA and analyzed by means of his efficient tool SPIN. Based on the method, we aim to the study of security properties of networked IT-infrastructures. In particular, we want to investigate effects of attacks and erroneous administration activities as well as undesired interferences of attack and administration processes. Many attacks and incorrect administration procedures boost each other and have serious indirect impacts which will take effect in the course of future operation steps of networked IT systems. The TLA-based modelling of security-related system behaviours therefore aims to the formal analysis of possible system and administration flaws in order to develop modular security service design principles which help to limit the propagation of malicious effects. List of relevant chapters: Distributed Systems Security Three publications reporting outcomes from the project: Network of Excellence in Distributed and Dependable Computing Systems Acronym: Project Title: Formal Description and Model Checking of Web Service (WS) Protocols Start Date: 2003 End Date: Ongoing URL: Download 1.3 Mb. Share with your friends:
|