Engelbert Hubbers, Martijn Oostdijk, Erik Poll. Implementing a Formally Verifiable Security Protocol in Java Card. In Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann, editors, Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers. Volume 2802 of Lecture Notes in Computer Science, pages 213-226, Springer, 2003. [doi]
Abstract is missing.