@article{bauer:juerjens:compsec10,
  author =	 {Andreas Bauer and Jan J{\"u}rjens},
  title =        {Runtime Verification of Cryptographic Protocols},
  journal =      {Computers \& Security},
  pages =        {315--330},
  volume =       29,
  number =        3,
  year =         2010
}