Integrated specification and verification of security protocols and policies
Metadata only
Date
2011Type
- Conference Paper
Publication status
publishedExternal links
Book title
IEEE 24th Computer Security Foundations Symposium (CSF), 2011 : 27 - 29 June 2011, Cernay-la-Ville, France ; proceedingsPages / Article No.
Publisher
IEEEEvent
Subject
Access control; Decidability; Formal methods; Security protocols; Trust managementOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata