A Symbolic Logic with Exact Bounds for Cryptographic Protocols

John C. Mitchell
DOI: https://doi.org/10.1007/978-3-642-20920-8_3
2011-05-18
Abstract:
What problem does this paper attempt to address?