![](/img/cover-not-exists.png)
A calculus for control flow analysis of security protocols
Mikael Buchholtz, Hanne Riis Nielson, Flemming NielsonVolume:
2
Language:
english
Pages:
23
Journal:
International Journal of Information Security
DOI:
10.1007/s10207-004-0036-x
Date:
August, 2004
File:
PDF, 740 KB
english, 2004