From Finite State Machines to Provably Correct Java Card Applets

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

Abstract

Abstract is missing.