Role based specification and security analysis of cryptographic protocols using asynchronous product automata

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Volumn 2002-January, Issue , 2002, Pages 473-479

  Gürgens, Sigrid ^a   Ochsenschläger, Peter ^a   Rudolph, Carsten ^a  

^a FRAUNHOFER INSTITUTE FOR SECURE INFORMATION TECHNOLOGY SIT   (Germany)

Author keywords

Access protocols; Algorithm design and analysis; Authentication; Automata; Cryptographic protocols; Cryptography; Information security; Performance analysis; Power system modeling; State space methods

Indexed keywords

AUTHENTICATION; AUTOMATA THEORY; EXPERT SYSTEMS; SECURITY OF DATA; SPECIFICATIONS; STATE SPACE METHODS;

ACCESS PROTOCOLS; ALGORITHM DESIGN AND ANALYSIS; AUTOMATA; CRYPTOGRAPHIC PROTOCOLS; PERFORMANCE ANALYSIS; POWER SYSTEM MODEL;

CRYPTOGRAPHY;

EID: 18444375513     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2002.1045943     Document Type: Conference Paper

References (13)

1. D. Denning and G. Sacco. Timestamps in key distribution protocols. Communications of the ACM, 24:533-536, 1982
2. DIN NI-17. Chipkarten mit Digitaler Signatur-Anwendung/ Funktion nach SigG und SigV-Teil 1: Anwendungsschnittstelle, April 2000
3. S. Gürgens, P. Ochsenschläger, and C. Rudolph. Authenticity and Provability-A Formal Framework. GMD Report 150, GMD-Forschungszentrum Informationstechnik GmbH, 2001
4. S. Gürgens, P. Ochsenschläger, and C. Rudolph. Role based specification and security analysis of cryptographic protocols using asynchronous product automata. GMD Report 151, GMD-Forschungszentrum Informationstechnik GmbH, 2001
5. S. Gürgens and R. Peralta. Validation of Cryptographic Protocols by Efficient Automated Testing. In FLAIRS2000, pages 7-12. AAAI Press, May 2000
6. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In Second International Workshop, TACAS '96, volume 1055 of LNCS, pages 147-166. SV, 1996
7. R. Needham and M. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, pages 993-999, 1978
8. P. Ochsenschläger, J. Repp, and R. Rieke. Abstraction and a verification method for co-operating systems. Journal of Experimental and Theoretical Artificial Intelligence, 12:447-459, June 2000
9. P. Ochsenschläger, J. Repp, R. Rieke, and U. Nitsche. The SH-Verification Tool-Abstraction-Based Verification of Co-operating Systems. Formal Aspects of Computing, The International Journal of Formal Method, 11:1-24, 1999
10. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85-128, 1998
11. R. L. Rivest, A. Shamir, and L. A. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM, 21(2):120-126, 1978
12. B. Roscoe, P. Ryan, S. Schneider, M. Goldsmith, and G. Lowe. The modelling and Analysis of Security Protocols. Addison Wesley, 2000
13. D. Song, S. Berezin, and A. Perrig. Athena, a Novel Approach to Efficient Automatic Security Protocol Analysis. Journal of Computer Security, 12(9):47-74, 2001