BIBTEX-
Jan Jürjens

---

@InProceedings{safecomp03GHJW,
       author = {J.~Gr\"unbauer and H.~Hollmann and J.~J\"urjens and G.~Wimmel},
       title = {Modelling and Verification of Layered Security Protocols:
A Bank Application},
       booktitle = {SAFECOMP 2003},
       OPTcrossref = {},
       OPTkey = {},
       OPTpages = {},
       year = {2003},
       OPTeditor = {},
       OPTvolume = {},
       OPTnumber = {},
       series = lncs,
       address = {Edinburgh, GB},
       month = {23-26 September},
       OPTorganization = {},
       publisher = sv,
       OPTnote = {},
       OPTannote = {}
}

---

Jan Jürjens