A New Model of Cryptography for the Analysis of Cryptographic Protocols

Reference:

Antti Huima. A new model of cryptography for the analysis of cryptographic protocols. In Proc. NORDSEC '98, 1998.

Suggested BibTeX entry:

@inproceedings{Huima98,
    author = {Antti Huima},
    booktitle = {Proc.\ {NORDSEC '98}},
    title = {A New Model of Cryptography for the Analysis of Cryptographic Protocols},
    year = {1998},
}