Security protocols, properties, and their monitoring - Bauer, Andreas; Juerjens, Jan (International Conference on Software Engineering 2008, 2008)