Logical Concepts in Cryptography

Simon Kramer

Paper 2006/262

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.

Metadata

Available format(s): PDF
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; 2006-08-07: received; See all versions
Short URL: https://ia.cr/2006/262
License: CC BY

BibTeX

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