Jakarta: A Toolset for Reasoning about JavaCard

Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa. Jakarta: A Toolset for Reasoning about JavaCard. In Isabelle Attali, Thomas P. Jensen, editors, Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings. Volume 2140 of Lecture Notes in Computer Science, pages 2-18, Springer, 2001. [doi]

Abstract

Abstract is missing.