![](/img/cover-not-exists.png)
An intruder model with message inspection for model checking security protocols
Stylianos Basagiannis, Panagiotis Katsaros, Andrew PombortsisVolume:
29
Year:
2010
Language:
english
Pages:
19
DOI:
10.1016/j.cose.2009.08.003
File:
PDF, 1.96 MB
english, 2010