Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Conference SAFECOMP (Conference) (27th : 2008 : Newcastle on Tyne, Great Britain)
Title Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings / Michael D. Harrison, Mark-Alexander Sujan (eds.).
Imprint Berlin ; New York : Springer, 2008.

View online
View online
Conference SAFECOMP (Conference) (27th : 2008 : Newcastle on Tyne, Great Britain)
Series Lecture notes in computer science ; 5219
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 5219.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Computer software -- Reliability -- Congresses.
Electronic digital computers -- Reliability -- Congresses.
Computer security -- Congresses.
Industrial safety -- Congresses.
Alt Name Harrison, M. D. (Michael D.)
Sujan, Mark-Alexander.
Add Title SAFECOMP 2008
Description 1 online resource (xiv, 456 pages) : illustrations.
polychrome rdacc
Bibliography Note Includes bibliographical references and index.
Summary This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.
Contents Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk -- Panel: Complexity and Resilience -- Software Dependability -- The Effectiveness of T-Way Test Data Generation -- Towards Agile Engineering of High-Integrity Systems -- SafeSpection -- A Systematic Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based Design -- Modelling Support for Design of Safety-Critical Automotive Embedded Systems -- Resilience -- Resilience in the Aviation System -- Resilience Markers for Safer Systems and Organisations -- Modeling and Analyzing Disaster Recovery Plans as Business Processes -- Fault Tolerance -- Analysis of Nested CRC with Additional Net Data in Communication -- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems -- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers -- Security -- Secure Interaction Models for the HealthAgents System -- Security Challenges in Adaptive e-Health Processes -- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest -- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security Threats to Automotive CAN Networks -- Practical Examples and Selected Short-Term Countermeasures -- Safety Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information -- Applying Safety Goals to a New Intensive Care Workstation System -- Safety Assurance Strategies for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal Methods -- Formal Verification by Reverse Synthesis -- Deriving Safety Software Requirements from an AltaRica System Model -- Model-Based Implementation of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability Modelling -- Analyzing Fault Susceptibility of ABS Microcontroller -- A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems -- The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects -- Security and Dependability -- A Context-Aware Mandatory Access Control Model for Multilevel Security Environments -- Formal Security Analysis of Electronic Software Distribution Systems -- The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems.
Note Print version record.
ISBN 9783540876984
ISBN/ISSN 10.1007/978-3-540-87698-4
OCLC # 288568987
Additional Format Print version: International Conference on Computer Safety, Reliability, and Security (27th : 2008 : Newcastle on Tyne, Great Britain). Computer safety, reliability, and security. Berlin ; New York : Springer, 2008 9783540876977 3540876979 (OCoLC)271457017

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team