TitleTowards a Hierarchy of Cryptographic Protocol Models
Publication TypeConference Paper
Year of Publication2003
AuthorsMeadows, C.
Conference NameFMSE 2003: Formal Methods in Security Engineering
PublisherACM Press
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 to the 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.

Full Text

Meadows2003.pdf

NRL Publication Release Number

03-1221.1-2107