### Logical Concepts in Cryptography

Simon Kramer

##### Abstract

This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamental aspects of cryptography. Namely, the security of communication (as opposed to security of storage) and cryptographic protocols (as opposed to cryptographic operators). The primary logical concepts explored are the following: the modal concepts of belief, knowledge, norms, provability, space, and time. The distinguishing feature of CPL is that it unifies and refines a variety of existing approaches. This feature is the result of our wholistic conception of property-based (modal logics) and model-based (process algebra) formalisms.

Available format(s)
Category
Cryptographic protocols
Publication info
Published elsewhere. Ph.D. Thesis
Keywords
applied formal logic
Contact author(s)
simon kramer @ a3 epfl ch
History
2007-07-16: last of 17 revisions
See all versions
Short URL
https://ia.cr/2006/262

CC BY

BibTeX

@misc{cryptoeprint:2006/262,
author = {Simon Kramer},
title = {Logical Concepts in Cryptography},
howpublished = {Cryptology ePrint Archive, Paper 2006/262},
year = {2006},
note = {\url{https://eprint.iacr.org/2006/262}},
url = {https://eprint.iacr.org/2006/262}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.