|Title||Towards a Hierarchy of Cryptographic Protocol Models|
|Publication Type||Conference Paper|
|Year of Publication||2003|
|Conference Name||FMSE 2003: Formal Methods in Security Engineering|
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.
|NRL Publication Release Number|| |