Analysis of Cryptographic Protocols via Symbolic State Space Enumeration

Reference:

Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Research Report A54, Laboratory for Theoretical Computer Science, Helsinki University of Technology, August 1999.

Suggested BibTeX entry:

@techreport{Huima99c,
    author = {Antti Huima},
    institution = {Laboratory for Theoretical Computer Science, Helsinki University of Technology},
    month = {August},
    number = {A54},
    title = {Analysis of Cryptographic Protocols via Symbolic State Space Enumeration},
    type = {Research Report},
    year = {1999},
}