@InProceedings{asiaccs07,
  author    = {David Basin and
               Ernst-R{\"u}diger Olderog and
               Paul E. Sevin\c{c}},
  title     = {Specifying and analyzing security automata using CSP-OZ.},
  booktitle     = {Proceedings of the 2007 ACM Symposium on Information,
                  Computer and Communications Security (ASIACCS 2007)},
  pages     = {70-81},
  year =	 2007,
  month =	 {March},
  publisher =	 {ACM Press},
  location =     {Singapore}
}