Comparing State Spaces in Automatic Security Protocol Verification

Thumbnail
Metadata only
Author
Cremers, Cas
Lafourcade, Pascal
Date
2007
Type
    Conference Paper
Publication status
published
External links
Search via SFX
Publisher
7th International Workshop on Automated Verification of Critical Systems (AVoCS'07)
Event
7th International Workshop on Automated Verification of Critical Systems (AVoCS'07), Oxford, UK, September 10-12, 2007
Subject
Automatic Verification; Security Protocol; State Space; Performance; Tools
Organisational unit
03634 - Basin, David / Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics