Comparing State Spaces in Automatic Security Protocol Verification

by Cas J. F. Cremers, Pascal Lafourcade
Venue:Proceedings of the 7th International Workshop on Automated Verification of Critical Systems (AVoCS’07