A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations

Pieter H. Hartel, Eduard de Jong. A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. In Isabelle Attali, Thomas P. Jensen, editors, Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers. Volume 2041 of Lecture Notes in Computer Science, pages 52-72, Springer, 2000. [doi]

@inproceedings{HartelJ00,
  title = {A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations},
  author = {Pieter H. Hartel and Eduard de Jong},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2041/20410052.htm},
  tags = {Java, programming},
  researchr = {https://researchr.org/publication/HartelJ00},
  cites = {0},
  citedby = {0},
  pages = {52-72},
  booktitle = {Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers},
  editor = {Isabelle Attali and Thomas P. Jensen},
  volume = {2041},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42167-X},
}