"An intruder model with message inspection for model checking security ..."

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics