Description |
1 online resource (xxii, 486 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 9337 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 9337. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Intro; Preface; Organization; Invited Talks; Does IoT Stand for Internet of Threatsand Other Stories; Medical Devices, Electronic Health Recordsand Assuring Patient Safety:Future Challenges?; Cyber (In- )security of Industrial ControlSystems: A Societal Challenge; Contents; Invited Talks; Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?; Abstract; 1 EHR Promises and Problems; 2 Connectivity and Medical Devices; 3 eHealth and Home Monitoring; 4 The Tension Between Patient Privacy and Patient Safety; 5 Conclusion; References |
|
Cyber (In- )security of Industrial Control Systems: A Societal Challenge1 Introduction; 2 Definitions; 3 Paradigm Changes to ICS; 3.1 From Closed to too Open Environments; 3.2 Hide in Functionality but Connected to Internet; 4 Lack of Governance of ICS Security; 4.1 The Executive Level; 5 ICS Technology; 5.1 Aging, Legacy and too New ICS Technology; 5.2 Weak and Insecure ICS Protocols; 5.3 Insecure ICS by Design; 5.4 Common TCP-IP Based Connectivity; 6 ICS Maintenance and Operations; 7 Third Parties; 8 Conclusion: Long and Short Term Actions; References; Flight Systems |
|
Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical SystemsAbstract; 1 Introduction; 2 HiP-HOPS Foundations; 3 Modeling Guidelines to Apply HiP-HOPS; 3.1 Guideline 1: Create a Library of Annotated Components; 3.2 Guideline 2: Support Annotation Customization; 3.3 Guideline 3: Define the System's Modes of Operation; 3.4 Guideline 4: Group Components by Its Function; 3.5 Guideline 5: Model Considering the Common Mode Effects; 3.6 Guideline 6: Avoid Loops; 3.7 Guideline 7: Design Models with Incremental Complexity |
|
4 Usage Analysis of HiP-HOPS with Modeling Guidelines4.1 Scenario; 4.2 Evaluating Acceptability, Suitability and Practicality of HiP-HOPS; 5 Conclusions; References; The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation; 1 Introduction; 2 Satellite Flight Formation; 3 Coordinated Mode Transitions in Autonomous Systems; 4 Modelling and Refinement in Event-B; 5 Modelling Satellite Flight Formation in Event-B; 6 Conclusion and Related Work; References; Automotive Embedded Systems |
|
Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional TransitionsAbstract; 1 Motivation: The Role of Drivers in Automotive Safety/Security; 2 Basics; 2.1 Think-Aloud-Tests; 2.2 Driving Simulator; 3 Concept, Test Setup and Execution; 3.1 Emotional Transitions; 4 Test Evaluation; 4.1 Recommendation of Conduct and Understanding of the Warning; 4.2 Recommendation of Conduct and Quality of Reaction; 4.3 Self-perceived and Investigator-Perceived Quality of Reaction; 4.4 Warning Understood and Quality of Reaction; 4.5 Lane Change Test |
Summary |
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling |
Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed September 22, 2015) |
Subject |
Computer security -- Congresses
|
|
Computer systems -- Reliability -- Congresses
|
|
Programming & scripting languages: general.
|
|
Software Engineering.
|
|
Computer security.
|
|
Information technology: general issues.
|
|
Computer networking & communications.
|
|
Computer programming -- software development.
|
|
Computers -- Programming Languages -- General.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Security -- General.
|
|
Computers -- Data Processing.
|
|
Computers -- Hardware -- General.
|
|
Computers -- Programming -- General.
|
|
Computer security
|
|
Computer systems -- Reliability
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Koornneef, Floor, 1950- editor.
|
|
Gulijk, Coen van, editor
|
ISBN |
9783319242552 |
|
3319242555 |
|
3319242547 |
|
9783319242545 |
|