From Finite State Machines to Provably Correct Java Card Applets (bibtex)

by Engelbert Hubbers, Martijn Oostdijk and Erik Poll

Reference:

From Finite State Machines to Provably Correct Java Card Applets (Engelbert Hubbers, Martijn Oostdijk and Erik Poll), In Security and Privacy in the Age of Uncertainty, IFIP TC11 18th International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece (Dimitris Gritzalis, Sabrina De Capitani di Vimercati, Pierangela Samarati, Sokratis K. Katsikas, eds.), Kluwer, volume 250, 2003.

Bibtex Entry:

@string{ehupub="https://www.cs.ru.nl/E.Hubbers/pubs/"}
@inproceedings{DBLP:conf/sec/HubbersOP03,
  author    = {Engelbert Hubbers and
               Martijn Oostdijk and
               Erik Poll},
  editor    = {Dimitris Gritzalis and
               Sabrina De Capitani di Vimercati and
               Pierangela Samarati and
               Sokratis K. Katsikas},
  title     = {From Finite State Machines to Provably Correct Java Card Applets},
  booktitle = {Security and Privacy in the Age of Uncertainty, {IFIP} {TC11} 18th
               International Conference on Information Security (SEC2003), May 26-28,
               2003, Athens, Greece},
  series    = {{IFIP} Conference Proceedings},
  volume    = {250},
  pages     = {465--470},
  publisher = {Kluwer},
  year      = {2003},
  pdf	= EHUPUB#{Hubbers2003_Chapter_FromFiniteStateMachinesToProva.pdf},
  timestamp = {Fri, 25 Apr 2003 10:12:34 +0200},
  biburl    = {https://dblp.org/rec/conf/sec/HubbersOP03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}