Integrated specification and verification of security protocols and policies

Thumbnail
Metadata only
Autor(in)
Frau, Simone
Torabi Dashti, Mohammad
Datum
2011
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Buchtitel
IEEE 24th Computer Security Foundations Symposium (CSF), 2011 : 27 - 29 June 2011, Cernay-la-Ville, France ; proceedings
Seiten / Artikelnummer
18 - 32
Verlag
IEEE
Konferenz
24th IEEE Computer Security Foundations Symposium (CSF), Cernay-la-Ville, France, June 27-29, 2011
Thema
Access control; Decidability; Formal methods; Security protocols; Trust management
Organisationseinheit
03634 - Basin, David / Basin, David  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics