Formal methods for industrial products

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

Volumn 1878, Issue , 2000, Pages 374-393

  Stepney, Susan ^a   Cooper, David ^a,b  

^a Logica United Kingdom   (United Kingdom)

^b Praxis Critical Systems Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

INDUSTRIAL PRODUCT; INDUSTRIAL-SCALE APPLICATIONS; SECURITY IMPLICATIONS; SECURITY PROOFS; SECURITY PROPERTIES; SECURITY-CRITICAL;

FORMAL SPECIFICATION;

EID: 0011465164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44525-0_22     Document Type: Conference Paper

References (20)

1. et al. 1992] Rosalind Barden, Susan Stepney, and David Cooper. The use of Z. In John E. Nicholls, editor, Proceedings of the 6th Annual Z User Meeting, York 1991, Workshops in Computing, pages 99-124. Springer Verlag, 1992.
2. et al. 1994] Rosalind Barden, Susan Stepney, and David Cooper. Z in Practice. BCS Practitioners Series. Prentice Hall, 1994.
3. & Padula 1976] David E. Bell and Len J. La Padula. Secure computer system: Unified exposition and MULTICS. Report ESD-TR-75-306, The MITRE Corporation, March 1976.
4. 1988] D. E. Bell. Concerning "modelling" of computer security. In Proceedings 1988 IEEE Symposium on Security and Privacy, pages 8-13. IEEE Computer Society Press, April 1988.
5. & Stepney 2000] David Cooper and Susan Stepney. Segregation with communication. (These proceedings), 2000.
6. Consortium] DSDM Consortium. Dynamic Systems Development Method manual. Technical report, http://www.dsdm.org/.
7. et al. 1990] Mike Flynn, Tim Hoverd, and David Brazier. Formaliser—an interactive support tool for Z. In John E. Nicholls, editor, Z User Workshop: Proceedings of the 4th Annual Z User Meeting, Oxford 1989, Workshops in Computing, pages 128-141. Springer Verlag, 1990.
8. & Meseguer 1984] J. A. Goguen and J. Meseguer. Unwinding and inference control. In Proceedings 1984 IEEE Symposium on Security and Privacy, pages 75-86. IEEE Computer Society, 1984.
9. 1998] Dieter Gollman. Computer Security. John Wiley, 1998.
10. 1992] Jeremy L. Jacob. Basic theorems about security. Journal of Computer Security, 1(4):385-411, 1992.
11. 1991] Mark B. Josephs. Specifying reactive systems in Z. Technical Report TR-19-91, Programming Research Group, Oxford University Computing Laboratory, 1991.
12. 1995] A. W. Roscoe. CSP and determinism in security modelling. In Proceedings 1995 IEEE Symposium on Security and Privacy, pages 114-127. IEEE Computer Society Press, 1995.
13. 1981] J. M. Rushby. The design and verification of secure systems. In Proceedings 8th ACM Symposium on Operating System Principles, December 1981.
14. 1992a] J. Michael Spivey. The fuzz Manual. Computer Science Consultancy, 2nd edition, 1992. http://ftp.comlab.ox.ac.uk/pub/Zforum/fuzz.
15. 1992b] J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.
16. Susan Stepney. Formaliser Home Page. http://public.logica.com/~formaliser/.
17. et al. 1998] Susan Stepney, David Cooper, and Jim Woodcock. More powerful Z data refinement: pushing the state of the art in industrial refinement. In Jonathan P. Bowen, Andreas Fett, and Michael G. Hinchey, editors, ZUM'98: 11th International Conference of Z Users, Berlin 1998, volume 1493 of Lecture Notes in Computer Science, pages 284-307. Springer Verlag, 1998.
18. 1996] Ian Toyn. Formal reasoning in the Z notation using CADiZ. In N. A. Merriam, editor, 2nd International Workshop on User Interface Design for Theorem Proving Systems. Department of Computer Science, University of York, July 1996. http://www.cs.york.ac.uk/~ian/cadiz/.
19. et al. 2000] Sam Valentine, Ian Toyn, Susan Stepney, and Steve King. Type constrained generics. (These proceedings), 2000.
20. & Davies 1996] Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996.