Formal and informal specifications of a secure system component: Final results in a comparative study

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

Volumn 1051, Issue , 1996, Pages 214-227

  Brookes, T M ^a   Fitzgerald, J S ^b   Larsen, P G ^c  

^a BAE SYSTEMS   (United Kingdom)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

^c IFAD   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPARATIVE STUDIES; CUSTOMER REQUIREMENTS; FURTHER WORKS; SECURE SYSTEM; SECURITY-CRITICAL; SOFTWARE CHARACTERISTIC;

FORMAL SPECIFICATION;

EID: 21344441954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_89     Document Type: Conference Paper

References (10)

1. D.J. Andrews, H. Bruun. B.S. Hansen, P.G. Larsen, N. Plat, et al. Information Technology -- Programming Languages, their environments and system software interfaces -- Vienna Development Method-Specification Language Part 1: Base language. ISO, 1995.
2. René Elmstrøm, Peter Gorm Larsen, and Pod Bøgh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9):77-80, September 1994.
3. J. S. Fitzgerald, T. M. Brookes, M. A. Green, and P. G. Larsen. Formal and informal specifications of a secure system component: first results in a comparative study. In M. Naftalin, B. T. Denvir, and M. Bertran, editors, FME '94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 35-44. Springer-Verlag, 1994.
4. J. S. Fitzgerald. The ConForm Project Home Page. World-wide web at URL: http://www.cs.ncl.ac.uk/research/csr/projects/ConForm.html, 1995.
5. J.S. Fitzgerald, P.G. Larsen, T.M. Brookes, and M.A. Green. Applications of Formal Methods. chapter 14 Developing a Security-critical System using Formal and Convential Methods. Prentice-Halt International Series in Computer Science, 1995.
6. Office for Official Publications of the European Community. Information Technology Security Evaluation Criteria, June 1991.
7. United Kingdom Ministry of Defence, Directorate of Standardisation. Safety Management Requirements for Defence Systems Containing Programmable Electronics, 1991.
8. United Kingdom Ministry of Defence,Directorate of Standardisation. Procurement of safety-critical software, 1991.
9. Paul Mukherjee. Computer-aided validation of formal specifications. Software Engineering Journal, pages 133-140, July 1995.
10. P.T. Ward and S.J. Mellor. Structured Development for Real-Time Systems, volume 1-3. Yourdon Press, New York, 1985-1986.