@inproceedings{C3FAST, Title = {Timed {C}alculus of {C}ryptographic {C}ommunication}, Year = {2006}, Booktitle = {Proceedings of the Workshop on Formal Aspects in Security and Trust}, Author = {J. Borgstr\"{o}m and O. Grinchtein and S. Kramer}}