![](/img/cover-not-exists.png)
Pattern-based abstraction for verifying secrecy in protocols
L. Bozga, Y. Lakhnech, M. PérinVolume:
8
Language:
english
Pages:
20
DOI:
10.1007/s10009-005-0189-6
Date:
February, 2006
File:
PDF, 763 KB
english, 2006