Implementing a Formally Verifiable Security Protocol in Java Card (bibtex)

by Engelbert Hubbers, Martijn Oostdijk and Erik Poll

Reference:

Implementing a Formally Verifiable Security Protocol in Java Card (Engelbert Hubbers, Martijn Oostdijk and Erik Poll), In Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann, eds.), Springer, volume 2802, 2004.

Bibtex Entry:

@string{ehupub="https://www.cs.ru.nl/E.Hubbers/pubs/"}
@inproceedings{DBLP:conf/spc/HubbersOP03,
  author    = {Engelbert Hubbers and
               Martijn Oostdijk and
               Erik Poll},
  editor    = {Dieter Hutter and
               G{\"{u}}nter M{\"{u}}ller and
               Werner Stephan and
               Markus Ullmann},
  title     = {Implementing a Formally Verifiable Security Protocol in Java Card},
  booktitle = {Security in Pervasive Computing, First International Conference, Boppard,
               Germany, March 12-14, 2003, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2802},
  pages     = {213--226},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-39881-3_19},
  doi       = {10.1007/978-3-540-39881-3_19},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/spc/HubbersOP03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  pdf = EHUPUB#{Hubbers2004_Chapter_ImplementingAFormallyVerifiabl.pdf}
}