Integrated specification and verification of security protocols and policies

Thumbnail
Metadata only
Author
Frau, Simone
Torabi Dashti, Mohammad
Date
2011
Type
  • Conference Paper
Publication status
published
External links
Full text via SFX
Book title
IEEE 24th Computer Security Foundations Symposium (CSF), 2011 : 27 - 29 June 2011, Cernay-la-Ville, France ; proceedings
Pages
18 - 32
Publisher
IEEE
Event
24th IEEE Computer Security Foundations Symposium (CSF), Cernay-la-Ville, France, June 27-29, 2011
Subject
Access control; Decidability; Formal methods; Security protocols; Trust management
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Altmetrics