Analysis of Cryptographic Protocols via Symbolic State Space Enumeration

Reference:

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

Suggested BibTeX entry:

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