Andreas Bauer 0002 Jan Jürjens Security protocols, properties, and their monitoring. 33-40 2008 SESS http://doi.acm.org/10.1145/1370905.1370910 conf/icse/2008sess db/conf/icse/sess2008.html#BauerJ08