A simple language for real-time cryptographic protocol analysis

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

Volumn 2618, Issue , 2003, Pages 114-128

  Gorrieri, Roberto ^a   Locatelli, Enrico ^a   Martinelli, Fabio ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b Istituto di informatica e telematica del Consiglio nazionale delle ricerche   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CRYPTOGRAPHIC PRIMITIVES; CRYPTOGRAPHIC PROTOCOLS; GENERAL INFORMATION; HOSTILE ENVIRONMENTS; MODELING CRYPTOGRAPHIC PROTOCOLS; OBSERVATIONAL SEMANTICS; REAL-TIME PROCESS ALGEBRA; SECURITY PROPERTIES;

CRYPTOGRAPHY;

EID: 35248873844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36575-3_9     Document Type: Article

References (17)

1. M. Boreale and D. Gorla. on Compositional Reasoning in the Spi-calculus In proc. of FOS-SACS'02, LNCS 2303, 2002.
2. P. Broadfoot and G. Lowe. Analysing a Stream Authentication Protocol using Model Checking In Procs. ESORICS'02, LNCS, Springer, 2002.
3. N. De Francesco and M. Petrocchi. Authenticity in a Reliable Protocol for Mobile Computing. Accepted at 18th ACM Symposium on Applied Computing (SAC03). U.S., March 2003.
4. R. Focardi and R. Gorrieri. A classification of security properties. Journal of Computer Security, 3(1):5-23, 1995.
5. R. Focardi, R. Gorrieri and F. Martinelli. A comparison of three authentication properties. To appear on Theoretical Computer Science.
6. R. Focardi, R. Gorrieri and F. Martinelli. Secrecy in Security Protocols as Non Interference. Electronic Notes in Theoretical Computer Science, 32. (2000)
7. R. Focardi, R. Gorrieri and F. Martinelli. Non-interference for the analysis of cryptographic protocols. In Procs. Int.l Colloquium on Automata, Languages and Programming (ICALP'00), LNCS 1853, 354-372, Springer, 2000.
8. R. Focardi, R. Gorrieri and F. Martinelli. Real-time Information Flow Analysis Journal of Selected Areas of Communications, IEEE Press, 2002, to appear.
9. R. Focardi and F. Martinelli. A uniform approach for the definition of security properties. In Proceedings of World Congress on Formal Methods (FM'99), pages 794-813. Springer, LNCS 1708, 1999.
10. R. Gennaro and P. Rohatgi. How to Sign Digital Streams. Information and Computation 165(1), pp. 100-116 (2001).
11. R. Gorrieri, F. Martinelli, M. Petrocchi and A. Vaccarelli. Using compositional reasoning and Non-interference for verifying integrity in digital stream protocols. Technical Report IIT, 2003. Submitted for publication.
12. J.F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118:263-299, 1993.
13. J. Guttman and F.J. Thayer. Protocol Independence through Disjoint Encryption. In Proc. CSFW'00. IEEE Press, 2000.
14. G. Lowe. A Hiearchy of Autentication Specifications. In Proc. CSFW'97, pp. 31-43, IEEE Press.
15. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
16. S. Schneider. Analysing Time-Dependent Security Properties in CSP using PVS. In Procs. ESORICS, LNCS 1895, 2000.
17. I. Ulidowski and S. Yuen. Extending process languages with time. In Proceedings of AMAST, LNCS 1349, pages 524-538, 1997.