Analysis of cryptographic protocols via symbolic state space enumeration

Reference:

Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999.

Suggested BibTeX entry:

@mastersthesis{HuimaMsc,
    author = {Huima, Antti},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Analysis of cryptographic protocols via symbolic state space enumeration},
    year = {1999},
}