@Article{DolevYao,
  author =	 {D. Dolev and A.C. Yao},
  title =	 {On the security of public key protocols},
  journal =	 {{IEEE} Transactions on Information Theory},
  year =	 1983,
  volume =	 22,
  number =	 6,
  pages =	 {198-208}
}


@InProceedings{CSFW2003,
  author =	 {C. Bodei and M. Buchholtz and P. Degano and
                  F. Nielson and H.R. Nielson},
  title =	 {Automatic validation of protocol narration},
  booktitle =	 {Proc. of the 16th Computer Security Foundations
                  Workshop (CSFW 2003)},
  pages =	 {126--140},
  year =	 2003,
  publisher =	 {{IEEE} Computer Security Press}
}

@InProceedings{SuccinctSolver,
  author =	 {F. Nielson and H.R. Nielson and H. Sun and
                  M. Buchholtz and R.R. Hansen and H. Pilegaard and
                  H. Seidl},
  title =	 {The {Succinct Solver} Suite},
  booktitle =	 {Proceedings of Tools and Algorithms for the
                  Construction and Analysis of Systems (TACAS 2004)},
  pages =	 {251--265},
  year =	 2004,
  volume =	 2988,
  series =	 LNCS,
  publisher =	 {Springer-Verlag}
}


@InProceedings{LBD2002,
  author = 	 {Torsten Lodderstedt and Davin Basin and J{\"u}rgen Doser},
  title = 	 {{SecureUML}: A {UML}-Based Modeling Language for Model-Driven Security},
  booktitle =	 {5th Intl. Conference on the Unified Modeling Language (UML)},
  pages =	 {426--441},
  year =	 2002,
  series =	 {LNCS 2460}
}



@InProceedings{JanJUML2002,
  author = 		 {Jan J{\"u}rjens},
  title = 		 {{UML}sec: Extending {UML} for secure systems development},
  booktitle = 	 {5th Intl. Conference on the Unified Modeling Language (UML) 2000},
  year =		 2002,
  series =		 {LNCS 2460}
}

@Book{UMLsecBook,
  author =	 {Jan J{\"u}rjens},
  title = 	 {Secure Systems Development with {UML}},
  publisher = 	 {Springer},
  year = 	 2004
}

@Misc{UMLsecSite,
  key =		 {UMLsecSite},
  author =	 {Jan J{\"u}rjens},
  title =	 {UMLsec webpage},
  howpublished = {Accessible at \url{http://www.umlsec.org}},
  year =	 {2002--04}
}