Formal Proof of Smart Card Applets Correctness

Jean-Louis Lanet, Antoine Requet. Formal Proof of Smart Card Applets Correctness. In Jean-Jacques Quisquater, Bruce Schneier, editors, Smart Card Research and Applications, This International Conference, CARDIS 98, Louvain-la-Neuve, Belgium, September 14-16, 1998, Proceedings. Volume 1820 of Lecture Notes in Computer Science, pages 85-97, Springer, 1998.

Abstract

Abstract is missing.