DMCA

Developing security protocols by refinement (2010)

by Christoph Sprenger , David Basin
Venue:In Proc. 17th ACM Conference on Computer and Communications Security (CCS
Citations:9 - 3 self