@InProceedings{bauer:juerjens:sess08, author = {Andreas Bauer and Jan J{\"u}rjens}, editor = {Bart De Win and Seok-Won Lee and Mattia Monga}, title = {Security protocols, properties, and their monitoring}, booktitle = {Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems (SESS)} pages = {33--40}, publisher = {ACM Press}, address = {New York, NY}, isbn = {978-1-60558-042-5}, year = 2008 month = "May" }