A Formal Language for Cryptographic Pseudocode
- 1 January 2008
- book chapter
- Published by Springer Nature
- Vol. 5330, 353-376
- https://doi.org/10.1007/978-3-540-89439-1_26
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- A Framework for Game-Based Security ProofsPublished by Springer Nature ,2007
- OFMC: A symbolic model checker for security protocolsInternational Journal of Information Security, 2005
- Computationally Sound, Automated Proofs for Security ProtocolsPublished by Springer Nature ,2005
- Soundness of Formal Encryption in the Presence of Active AdversariesPublished by Springer Nature ,2004
- Possible World Semantics for General Storage in Call-By-ValuePublished by Springer Nature ,2002
- HOLCF = HOL + LCFJournal of Functional Programming, 1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991
- Analyzing encryption protocols using formal verification techniquesIEEE Journal on Selected Areas in Communications, 1989
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972