Catherine A. Meadows: Towards a Hierarchy of Cryptographic Protocol Models
Abstract
Recently there has been an increasing amount of research in the
introduction of cryptographic ideas into discrete methods for cryptographic
protocol analysis. This is often done by developing a discrete
model and a cryptographic model such that the discrete model can be
shown sound with respect tothe cryptographic model. In this
position paper we talk about
some of the other issues in cryptographic protocol analysis that
could be addressed with this approach, and propose a hierarchy of
models.