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