Cryptology ePrint Archive: Report 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.

Category / Keywords: cryptographic protocols / applied formal logic

Publication Info: Ph.D. Thesis

Date: received 4 Aug 2006, last revised 16 Jul 2007

Contact author: simon kramer at a3 epfl ch

Available format(s): PDF | BibTeX Citation

Version: 20070716:092043 (All versions of this report)

Short URL: ia.cr/2006/262

Discussion forum: Show discussion | Start new discussion