DMCA

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
Citations:10 - 5 self