@inproceedings{C3FCS-ARSPA,
	Title = {{C}alculus of {C}ryptographic {C}ommunication},
	Year = {2006},
	Booktitle = {Proceedings of the {LICS}-Affiliated Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis},
	Author = {J. Borgstr\"{o}m and S. Kramer and U. Nestmann}}