@misc {IOPORT.70840569,
    author       = {Cremers, Cas J. F. and Lafourcade, Pascal and Nadeau, Philippe},
    title        = {Comparing state spaces in automatic security protocol analysis},
    howpublished = {Formal to Practical Security, 70-94 (2009).},
    year         = {2009},
    doi          = {10.1007/978-3-642-02002-5_5},
    identifier   = {70840569},
}