Formally defining security properties with relations on streams

Electronic Notes in Theoretical Computer Science

Volumn 32, Issue , 2000, Pages 26-41

  Lotz, Volkmar ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CRYPTOGRAPHY; ELECTRONIC COMMERCE; INTERFACES (COMPUTER); MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY SYSTEMS; SEMANTICS;

CRYPTOGRAPHIC PROTOCOLS; ELECTRONIC COMMERCE APPLICATIONS; SECURITY POLICY; TRANSMISSION SECURITY;

SECURITY OF DATA;

EID: 19144362557     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00093-3     Document Type: Conference Paper

References (18)

1. Brock, J.D., and Ackermann, W.D., Scenarios: A model of non-determinate computation, in Proc. Formalization of Programming Concepts, LNCS 107, Springer Verlag, 1981, pp. 252-259
2. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber, The Design of Distributed Systems - An Introduction to FOLCUS - Revised Version, Technical Report TUM-19202-2, Technische Universität München, 1993
3. Broy, M, A Logical Basis for Modular Systems Engineering, in: M. Broy, and R. Steinbrüggen (ed.) Calculational System Design., IOS Press, NATO Science Series F., Vol. 173, 1998, pp. 101-130
4. Broy M., and Stølen K., FOCUS on System Development, book manuscript, to appear
5. ISO/IEC IS 15408, The Common Criteria for Information Technology Security Evaluation (CC), Version 2.1, 1999
6. Dolev D., and Yao A., On the Security of Public-key protocols, IEEE Transactions on Information Theory 2, No. 29, 1983
7. Focardi R., and Martinelli F., A Uniform Approach for the Definition of Security Properties, in Proc. of FM99 - World Congress on Formal Methods, LNCS 1708, Springer Verlag, 1999
8. Goguen, J.A., and J. Meseguer, Security Policies and Security Models in Proc. of the IEEE Symposium on Security and Privacy 1982, pp. 11-20.
9. Gollmann D., What Do We Mean by Entity Authentication?, in Proc. IEEE Symposium on Research in Security and Privacy, 1996
10. ISO/IEC TR 13335-1: Information Technology - Security Techniques - Guidelines for the Management of IT-Security (GMITS) - Part 1: Concepts and Models for IT Security, 1996
11. Commission of the European Communities. Information Technology Security Evaluation Criteria (ITSEC), 1991
12. Lotz V. Threat Scentarios as a Means to Formally Develop Secure Systems. Journal of Computer Security. 5:1997;31-67
13. Lotz V., Ein methodischer Rahmen zur formalin Entwicklung sicherer Systeme, in Proc. Arbeitskonferenz Systemsicherheit 2000, Vieweg Verlag, 2000 (in German)
14. Lotz V., A Formal Method for the Specification and Development of Secure Systems, PhD thesis, to appear
15. Lowe G., A Hierarchy of Authentication Specifications, in Proc. 10th IEEE Computer Security Foundations Workshop, 1997, pp. 31-43
16. Paulson L. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security. 6:1998;85-128
17. Roscoe, A.W., Woodcock, J.C.P., and Woulf L., Non-interference through Determinism, in Proc. ESORICS 94, LNCS 875, Springer Verlag, 1994, pp.33-53
18. Roscoe, A.W. Intensional Specification of Security protocols, in Proc. 9th IEEE Computer Security Foundations Workshop, 1996, pp. 28-38