James Heather, Steve Schneider
To infinity and beyond or, avoiding the infinite in security protocol analysis
SAC, 2006.
@inproceedings{SAC-2006-HeatherS,
author = "James Heather and Steve Schneider",
booktitle = "{Proceedings of the 21st Symposium on Applied Computing}",
doi = "10.1145/1141277.1141359",
editor = "Hisham Haddad",
isbn = "1-59593-108-2",
pages = "346--353",
publisher = "{ACM}",
title = "{To infinity and beyond or, avoiding the infinite in security protocol analysis}",
year = 2006,
}