Critical systems validation and verification with CSP and FDR

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

Volumn 1641, Issue , 1999, Pages 243-250

  Goldsmith, Michael ^a   Zakiuddin, Irfan ^b  

^a Formal Systems (Europe) Ltd   (United Kingdom)

^b DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CRITICAL SYSTEMS; CSP MODEL; DIVERSE APPLICATIONS; FORMAL SYSTEMS; VALIDATION AND VERIFICATION;

FORMAL METHODS;

EID: 84957625658     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48257-1_15     Document Type: Conference Paper

References (12)

1. N.A. Brock and D.M. Jackson. Formal Verification of a Fault Tolerant Computer. In Proceedings of 1992 Digital Avionics Systems Conference. IEEE, 1992.
2. http://wwH.mcs.le.ac.uk/~glowe/security/casper/index.html. World Wide Web page.
3. Sadie Creese. An inductive technique for modelling arbitrarily configured networks. MSc thesis, Oxford University Computing Laboratory, 1997.
4. Michael Goldsmith and Bill Roscoe. The perfect 'spy' for model-checking cryptoprotocols. In Proceedings of DIM ACS Workshop on Design and Formal Verification of Cryptographic Protocols, Rutgers, 1997.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, New Jersey, 1985.
6. Ranko S. Lazić. A Semantic Study of Data-independence with Applications to Mechanical Verification of Concurrent Systems. Technical report, Merton College, May 1997. A Dissertation Submitted for (and Winning!) the Oxford University Senior Mathematical Prize.
7. http://www.comlab.ox.ac.uk/oucl/groups/security. World-Wide Webpage.
8. J.N. Reed, D.M. Jackson, B. Deianov, and G.M. Reed. Automated formal analysis of networks: FDR models of arbitrary topologies amd flow-control mechanisms. In European Joint Workshop on Theory and Practice in Software; Fundamental Approaches to Software Engineering (ETAPS-FASE'98), Lisbon, March 1998.
9. A.W. Roscoe. Modelling and verifying key-exchange protocols using CSP and FDR. In Symposium on Foundations of Secure Systems. IEEE, 1995.
10. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998. ISBN 0-13-6774409-5, pp. xv+565.
11. A.W. Roscoe, J.C.P. Woodcock, and L. Wulf. Non-interference through determinism. In 1994 European Symposium on Research in Computer Security, number 875 in LNCS, pages 33-53. Springer, 1994.
12. Andrew Simpson. Safety through Security. DPhil, Oxford University Computing Laboratory, Trinity 1996.