Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon. The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. In Isabelle Attali, Thomas P. Jensen, editors, Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers. Volume 2041 of Lecture Notes in Computer Science, pages 25-37, Springer, 2000. [doi]
Abstract is missing.