Secrecy types for a simulatable cryptographic library
- 7 November 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Adaptive Security of Symbolic EncryptionPublished by Springer Nature ,2005
- Analyzing security protocols with secrecy types and logic programsJournal of the ACM, 2005
- Typing correspondence assertions for communication protocolsTheoretical Computer Science, 2003
- Secrecy types for asymmetric communicationTheoretical Computer Science, 2003
- Formal methods for cryptographic protocol analysis: emerging issues and trendsIEEE Journal on Selected Areas in Communications, 2003
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- Probabilistic encryptionJournal of Computer and System Sciences, 1984
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978