@inproceedings{Cremers:2008:PCL:1368310.1368324,
 author = {Cremers, Cas},
 title = {On the protocol composition logic PCL},
 booktitle = {Proceedings of the 2008 ACM symposium on Information, computer and communications security},
 series = {ASIACCS '08},
 year = {2008},
 isbn = {978-1-59593-979-1},
 location = {Tokyo, Japan},
 pages = {66--76},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1368310.1368324},
 doi = {http://doi.acm.org/10.1145/1368310.1368324},
 acmid = {1368324},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {composition, logic, security protocol analysis},
}