Developing security protocols by refinement (2010)

by C Sprenger, D Basin
Venue:In Proc. 17th ACM Conference on Computer and Communications Security (CCS