Abstract:
The thesis is about an 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
and model-based formalisms.

Keywords: applied formal logic, information security.

URL: http://library.epfl.ch/en/theses/?nr=3845