@inproceedings{conf/esmart/EluardJD01,
  added-at = {2011-06-28T00:00:00.000+0200},
  author = {Éluard, Marc and Jensen, Thomas P. and Denney, Ewen},
  biburl = {http://www.bibsonomy.org/bibtex/2c021aa8f8f68d18e43fd31a9eddb9246/dblp},
  booktitle = {E-smart},
  crossref = {conf/esmart/2001},
  editor = {Attali, Isabelle and Jensen, Thomas P.},
  ee = {http://dx.doi.org/10.1007/3-540-45418-7_9},
  interhash = {3ab0ce684fab6c5880a7c98cd68060b1},
  intrahash = {c021aa8f8f68d18e43fd31a9eddb9246},
  isbn = {3-540-42610-8},
  keywords = {dblp},
  pages = {95-110},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-06-28T00:00:00.000+0200},
  title = {An Operational Semantics of the Java Card Firewall.},
  url = {http://dblp.uni-trier.de/db/conf/esmart/esmart2001.html#EluardJD01},
  volume = 2140,
  year = 2001
}