Logical concepts in cryptography
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.
Faculté informatique et communications
Institut d'informatique fondamentale
Laboratoire de modèles et théorie de calculs
Jury: Lawrence S. Moss, Ralf Küsters, Sergei N. Artëmov
Public defense: 2007-7-4
Record created on 2007-05-16, modified on 2016-08-08