Symbolic Analysis of Cryptographic Protocols
Institution: | Universität Karlsruhe |
---|---|
Department: | |
Year: | 2014 |
Record ID: | 1117700 |
Full text PDF: | http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/3219858 |
We rely on the security properties of cryptographic protocols every day while browsing the Internet or withdrawing money from an ATM. However, many of the protocols we use today were standardized without a proof of security. Serious flaws in protocols restrict the level of security we can reach for applications. This thesis motivates why we should strive for proofs of security and provides a framework that makes using automated tools to conduct such proofs more feasible.