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
Full text 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
Notes
.
More
Show all metadata
Altmetrics