Security protocols, properties, and their monitoring.

Andreas Bauer, Jan Jrjens

Browse the full ICSE paper archive.