On the freedom of decryption
- 30 June 2003
- journal article
- research article
- Published by Elsevier in Information Processing Letters
- Vol. 86 (6) , 329-333
- https://doi.org/10.1016/s0020-0190(03)00211-4
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Athena: a novel approach to efficient automatic security protocol analysis1Journal of Computer Security, 2001
- Strand spaces: proving security protocols correctJournal of Computer Security, 1999
- The inductive approach to verifying cryptographic protocolsJournal of Computer Security, 1998
- Applying Formal Methods to the Analysis of a Key Management ProtocolJournal of Computer Security, 1992
- Probabilistic encryptionJournal of Computer and System Sciences, 1984