↓ Skip to main content

Computer Safety, Reliability, and Security

Overview of attention for book
Cover of 'Computer Safety, Reliability, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Issues in Safety Assurance
  3. Altmetric Badge
    Chapter 2 Elicitation and Validation of Graphical Dependability Models
  4. Altmetric Badge
    Chapter 3 Visual Modeling and Verification of Distributed Reactive Systems
  5. Altmetric Badge
    Chapter 4 Automatic Timeliness Verification of a Public Mobile Network
  6. Altmetric Badge
    Chapter 5 Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform
  7. Altmetric Badge
    Chapter 6 Integrity Static Analysis of COTS/SOUP
  8. Altmetric Badge
    Chapter 7 Safety Lifecycle for Developing Safety Critical Artificial Neural Networks
  9. Altmetric Badge
    Chapter 8 Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks
  10. Altmetric Badge
    Chapter 9 A Dependability Model for Domestic Systems
  11. Altmetric Badge
    Chapter 10 Modelling and Verification of Layered Security Protocols: A Bank Application
  12. Altmetric Badge
    Chapter 11 A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity
  13. Altmetric Badge
    Chapter 12 Software Tamper Resistance Using Program Certificates
  14. Altmetric Badge
    Chapter 13 Developing High Assurance Systems: On the Role of Software Tools
  15. Altmetric Badge
    Chapter 14 Web Service Availability – Impact of Error Recovery
  16. Altmetric Badge
    Chapter 15 A Unified Tool for Performance Modelling and Prediction
  17. Altmetric Badge
    Chapter 16 An Approach to Trust Case Development
  18. Altmetric Badge
    Chapter 17 Reliable Data Replication in a Wireless Medical Emergency Network
  19. Altmetric Badge
    Chapter 18 Critical Feature Analysis of a Radiotherapy Machine
  20. Altmetric Badge
    Chapter 19 Byzantine Fault Tolerance, from Theory to Reality
  21. Altmetric Badge
    Chapter 20 Redundancy Management for Drive-by-Wire Computer Systems
  22. Altmetric Badge
    Chapter 21 Fault-Tolerant Communication System to Improve Safety in Railway Environments
  23. Altmetric Badge
    Chapter 22 Dependable Communication Synthesis for Distributed Embedded Systems
  24. Altmetric Badge
    Chapter 23 Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW
  25. Altmetric Badge
    Chapter 24 On the Role of Traceability for Standards Compliance: Tracking Requirements to Code
  26. Altmetric Badge
    Chapter 25 Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development
  27. Altmetric Badge
    Chapter 26 Security Policy Configuration Issues in Grid Computing Environments
  28. Altmetric Badge
    Chapter 27 Dependability and Survivability of Large Complex Critical Infrastructures
  29. Altmetric Badge
    Chapter 28 Safety Assessment of Experimental Air Traffic Management Procedures
  30. Altmetric Badge
    Chapter 29 The Application of Causal Analysis Techniques for Computer-Related Mishaps
  31. Altmetric Badge
    Chapter 30 Reuse in Hazard Analysis: Identification and Support
  32. Altmetric Badge
    Chapter 31 The Characteristics of Data in Data-Intensive Safety-Related Systems
  33. Altmetric Badge
    Chapter 32 Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents
Attention for Chapter 10: Modelling and Verification of Layered Security Protocols: A Bank Application
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
18 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Modelling and Verification of Layered Security Protocols: A Bank Application
Chapter number 10
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Berlin, Heidelberg, September 2003
DOI 10.1007/978-3-540-39878-3_10
Book ISBNs
978-3-54-020126-7, 978-3-54-039878-3
Authors

Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 18 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 1 6%
Italy 1 6%
Unknown 16 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 33%
Student > Master 3 17%
Researcher 3 17%
Student > Doctoral Student 1 6%
Other 1 6%
Other 2 11%
Unknown 2 11%
Readers by discipline Count As %
Computer Science 14 78%
Engineering 1 6%
Unknown 3 17%