@inproceedings{BC2010degrees,
  author    = {David A. Basin and
               Cas J.F. Cremers},
  title     = {Degrees of Security: Protocol Guarantees in the Face of
               Compromising Adversaries},
  year      = {2010},
  pages     = {1-18},
  booktitle     = {Computer Science Logic, 24th International Workshop, CSL
               2010, 19th Annual Conference of the EACSL, Brno, Czech Republic,
               August 23-27, 2010. Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6247},
}