Buch, Englisch, Band 2434, 352 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1150 g
21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings
Buch, Englisch, Band 2434, 352 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1150 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-44157-1
Verlag: Springer Berlin Heidelberg
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Datensicherheit, Datenschutz
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Kryptographie, Datenverschlüsselung
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Informationstheorie, Kodierungstheorie
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
- Mathematik | Informatik EDV | Informatik Informatik Bildsignalverarbeitung
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Schadprogramme (Viren, Trojaner etc.)
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Technische Wissenschaften Sonstige Technologien | Angewandte Technik Signalverarbeitung, Bildverarbeitung, Scanning
Weitere Infos & Material
Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002).- Human-Computer System Dependability.- Dependability of Joint Human-Computer Systems.- Keynote Talk.- Dependability in the Information Society: Getting Ready for the FP6.- Human Factors.- A Rigorous View of Mode Confusion.- Dependability as Ordinary Action.- Security.- Practical Solutions to Key Recovery Based on PKI in IP Security.- Redundant Data Acquisition in a Distributed Security Compound.- Survivability Strategy for a Security Critical Process.- Dependability Assessment (Poster Session).- Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation.- Safety and Security Analysis of Object-Oriented Models.- The CORAS Framework for a Model-Based Risk Management Process.- Keynote Talk.- Software Challenges in Aviation Systems.- Application of Formal Methods (Poster Session).- A Strategy for Improving the Efficiency of Procedure Verification.- Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.- Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.- Reliability Assessment.- Assessment of the Benefit of Redundant Systems.- Estimating Residual Faults from Code Coverage.- Design for Dependability.- Towards a Metrics Based Verification and Validation Maturity Model.- Analysing the Safety of a Software Development Process.- Software Criticality Analysis of COTS/SOUP.- Safety Assessment.- Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.- Checking Safe Trajectories of Aircraft Using Hybrid Automata.- Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model.- Keynote Talk.- On Diversity, and the Elusiveness of Independence.- Design for Dependability (Poster Session).- An Approach to a New Network Security Architecture for Academic Environments.- A Watchdog Processor Architecture with Minimal Performance Overhead.- Application of Formal Methods.- Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.- Assertion Checking Environment (ACE) for Formal Verification of C Programs.- Safety Analysis of the Height Control System for the Elbtunnel.- Design for Dependability.- Dependability and Configurability: Partners or Competitors in Pervasive Computing?.- Architectural Considerations in the Certification of Modular Systems.- A Problem-Oriented Approach to Common Criteria Certification.
