International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Logical Concepts in Cryptography

Authors:
Simon Kramer
Download:
URL: http://eprint.iacr.org/2006/262
Search ePrint
Search Google
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.
BibTeX
@misc{eprint-2006-21754,
  title={Logical Concepts in Cryptography},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / applied formal logic},
  url={http://eprint.iacr.org/2006/262},
  note={Ph.D. Thesis simon.kramer@a3.epfl.ch 13710 received 4 Aug 2006, last revised 16 Jul 2007},
  author={Simon Kramer},
  year=2006
}