Comparing State Spaces in Automatic Security Protocol Verification

Thumbnail
Metadata only
Autor(in)
Cremers, Cas
Lafourcade, Pascal
Datum
2007
Typ
    Conference Paper
Publikationsstatus
published
Verlag
7th International Workshop on Automated Verification of Critical Systems (AVoCS'07)
Konferenz
7th International Workshop on Automated Verification of Critical Systems (AVoCS'07), Oxford, United Kingdom, September 10-12, 2007
Thema
Automatic Verification; Security Protocol; State Space; Performance; Tools
Organisationseinheit
03634 - Basin, David / Basin, David  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics