Events in security protocols (2001)

by F Crazzolara, G Winskel
Venue:In Proceedings of the 8th ACM conference on Computer and Communications Security