"Model-based security analysis for mobile communications."

Jan Jürjens, Jörg Schreck, Peter Bartmann (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics