Safety and security analysis of object-oriented models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2434, Issue , 2002, Pages 82-93

  Lano, Kevin ^a   Clark, David ^a   Androutsopoulos, Kelly ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY SYSTEMS; SOFTWARE DESIGN;

OBJECT ORIENTED MODEL; OBJECT-ORIENTED SOFTWARE DESIGNS; SAFETY AND SECURITIES;

OBJECT ORIENTED PROGRAMMING;

EID: 84949233048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45732-1_10     Document Type: Conference Paper

References (12)

1. K. Androutsopoulos, The RSDS Tool, Department of Computer Science, King’s College, 2001. http://www.dcs.kcl.ac.uk/pg/kelly/Tools/
2. Alan Dix, Janet Finlay, Gregory Abowd, Russell Beale, Human-Computer Interaction, 2nd Edition, Prentice Hall, 1998.
3. ISO, Guidelines for the Use of the C Language in Vehicle Based Software, ISO TR/15497. Also at: http://www.misra.org.uk/.
4. J. L. Lanet, A. Requet, Formal Proof of Smart Card Applets Correctness, Proceedings of 3rd Smart Card Research and Advanced Application Conference (CARDIS '98), Sept. 1998.
5. K. Lano, D. Clark, K. Androutsopoulos, P. Kan, Invariant-based Synthesis of Fault-tolerant Systems, FTRTFT 2000, Pune, India, 2000.
6. P. Lartigue, D. Sabatier, The use of the B Formal Method for the Design and Validation of the Transaction Mechanism for Smart Card Applications, Proceedings of FM '99, pp. 348-368, Springer-Verlag, 1999.
7. Nancy G. Leveson. Designing a Requirements Specification Language for Reactive Systems. Invited talk, Z User Meeting, 1998, Springer Verlag 1998.
8. Ministry of Defence, Defence Standard 00-56, Issue 2, 1996.
9. Ministry of Defence, Defence Standard 00-58, Issue 2, 2000.
10. Rational Software et al, OMG Unified Modeling Language Specification Version 1.4, 2001.
11. K R Leino, J Saxe, R Stata, Checking Java programs with Guarded Commands, in Formal Techniques for Java Programs, technical report 251, Fernuniversitat Hagen, 1999.
12. R. Winther, O-A. Johansen, B. A. Gran, Security Assessments of Safety Critical Systems using HAZOPS, Safecomp 2000.