Developing security protocols by refinement

Thumbnail
Metadata only
Author
Sprenger, Christoph
Basin, David
Date
2010
Type
    Conference Paper
Publication status
published
External links
Book title
17th ACM Conference on Computer and Communications Security
Pages / Article No.
361 - 374
Publisher
Association for Computing Machinery
Event
7th ACM Conference on Computer and Communications Security (CCS 2010), Chicago, IL, USA, October 4-8, 2010
Subject
Security protocols; Stepwise refinement; Formal development; Entity authentication; Key establishment
Organisational unit
03634 - Basin, David / Basin, David  
02150 - Dep. Informatik / Dep. of Computer Science
Notes
See also http://e-citations.ethbib.ethz.ch/view/pub:108010. See also http://e-citations.ethbib.ethz.ch/view/pub:113613.
More
Show all metadata
ETH Bibliography
yes
Altmetrics