@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},
}