Integrated specification and verification of security protocols and policies
METADATA ONLY
Loading...
Author / Producer
Date
2011
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
IEEE 24th Computer Security Foundations Symposium (CSF), 2011 : 27 - 29 June 2011, Cernay-la-Ville, France ; proceedings
Journal / series
Volume
Pages / Article No.
18 - 32
Publisher
IEEE
Event
24th IEEE Computer Security Foundations Symposium (CSF)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Access control; Decidability; Formal methods; Security protocols; Trust management
Organisational unit
03634 - Basin, David / Basin, David