Categorical Logic of Names and Abstraction in Action Calculi (1993)

Cached

Download Links

by Dusko Pavlovic
Citations:21 - 9 self

Documents Related by Co-Citation

792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1066 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
882 Using encryption for authentication in large networks of computers – R M Needham, M D Schroeder - 1978
589 Communication and Mobile System: π-calculus – R Milner - 1999
616 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
1156 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
2524 Handbook of Applied Cryptography – Alfred J. Menezes, Paul C. Van Oorschot, Scott A. Vanstone, R. L. Rivest - 1997
2765 New Directions in Cryptography – Whitfield Diffie, Martin E. Hellman - 1976
479 Entity Authentication and Key Distribution – Mihir Bellare, Phillip Rogaway - 1993