From Finite State Machines to Provably Correct Java Card Applets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Engelbert Hubbers' in GoogleThis author has not been identified. Look up 'Martijn Oostdijk' in GoogleThis author has not been identified. Look up 'Erik Poll' in Google

runs on WebDSL