Composability of secrecy

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

Volumn 2052, Issue , 2001, Pages 28-38

  Jürjens, Jan ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Composability; Computer aided software engineering; Cryptographic protocols; Formal specification; Modularity; Network security; Refinement; Secrecy

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CRYPTOGRAPHY; FORMAL SPECIFICATION; NETWORK ARCHITECTURE; NETWORK PROTOCOLS;

COMPOSABILITY; CRYPTOGRAPHIC PROTOCOLS; MODULARITY; REFINEMENT; SECRECY;

NETWORK SECURITY;

EID: 84955617577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45116-1_6     Document Type: Conference Paper

References (25)

1. Abadi, M.: Security protocols and their properties. In: Bauer, F. and Stein- brueggen, R., (eds.): Foundations of Secure Computation. IOS Press, 2000
2. Abadi, M. and Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1-70 (January 1999)
3. Abadi, M. and Jan Jürjens: Formal eavesdropping and its computational interpretation, 2000. Submitted
4. Apostolopoulos, V., Peris, V., and Saha, D.: Transport layer security: How much does it really cost? In: Conference on Computer Communications (IEEE Infocom). New York (March 1999)
5. Broy, M. and Stølen, K.: Specification and Development of Interactive Systems. Springer (2000) (to be published)
6. Cardelli, L., Ghelli, G., and Gordon, A.: Secrecy and group creation. In: CONCUR 2000. (2000) 365-379
7. Dolev, D. and Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory, 29(2):198-208 (1983)
8. Huber, F., Molterer, S., Rausch, A., Schätz, B., Sihling, M., and Slotosch, O.: Tool supported Specification and Simulation of Distributed Systems. In: International Symposium on Software Engineering for Parallel and Distributed Systems. (1998) 155-164
9. Jan Jürjens: Secure information flow for concurrent processes. In: CONCUR 2000 (11th International Conference on Concurrency Theory), Vol. 1877 of LNCS. Pennsylvania, Springer (2000) 395-409
10. Jan Jürjens: Object-oriented modelling of audit security for smart-card payment schemes. In: Paradinas, P., (ed.): IFIP/SEC 2001 - 16th International Conference on Information Security, Paris, (11-13 June 2001) Kluwer
11. Jan Jürjens: Secrecy-preserving refinement. In: Formal Methods Europe (International Symposium), LNCS. Springer (2001)
12. Jan Jürjens: Towards development of secure systems using UML. In: Hußmann, H., (ed.): Fundamental Approaches to Software Engineering (FASE/ETAPS, International Conference), LNCS. Springer (2001)
13. Jan Jürjens and Guido Wimmel: Specification-based testing of firewalls. Submitted (2001)
14. Lotz, V.: Threat scenarios as a means to formally develop secure systems. Journal of Computer Security 5 (1997) 31-67
15. McLean, J.: A general theory of composition for a class of”possibilistic” properties.IEEE Transactions on Software Engineering, 22(1):53-67 (1996)
16. Meadows, C.: Using traces based on procedure calls to reason about composability. In: IEEE Symposium on Security and Privacy. (1992)
17. Meadows, C.: Applying the dependability paradigm to computer security. In: New Security Paradigms Workshop. (1995)
18. Meadows, C.: Formal verification of cryptographic protocols: A survey. In: Asiacrypt 96. (1996)
19. Meadows, C.: Open issues in formal methods for cryptographic protocol analysis. In: DISCEX. IEEE (2000)
20. Millen, J.: Hookup security for synchronous machines. In: Computer Security Foundations Workshop III. IEEE Computer Society (1990)
21. Pfitzmann, B.: Higher cryptographic protocols, 1998. Lecture Notes, Universitat des Saarlandes
22. Pohl, H. and Weck G., (eds.): Internationale Sicherheitskriterien. Oldenbourg Verlag (1993)
23. Ryan, P. and Schneider, S.: Process algebra and non-interference. In: IEEE Computer Security Foundations Workshop. (1999)
24. Sewell, P. and Vitek, J.: Secure composition of untrusted code: Wrappers and causality types. In: CSFW. (2000)
25. Varadharajan, V.: Hook-up property for information flow secure nets. In: CSFW. (1991)