@inproceedings{Cr2008patterns,
 author = {Cas J.F. Cremers},
 title = {Unbounded verification, falsification, and characterization of security protocols by pattern refinement},
 booktitle = {CCS '08: Proceedings of the 15th ACM conference on Computer and communications security},
 year = {2008},
 isbn = {978-1-59593-810-7},
 pages = {119--128},
 location = {Alexandria, Virginia, USA},
 doi = {http://doi.acm.org/10.1145/1455770.1455787},
 publisher = {ACM},
 address = {New York, NY, USA},
}