Model-based security analysis for mobile communications.

Jan Jrjens, Jrg Schreck, Peter Bartmann

Browse the full ICSE paper archive.