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]
@inproceedings{BieberCMGLWZ00,
title = {The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow},
author = {Pierre Bieber and Jacques Cazin and A. El Marouani and Pierre Girard and Jean-Louis Lanet and Virginie Wiels and Guy Zanon},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/2041/20410025.htm},
tags = {Java, data-flow},
researchr = {https://researchr.org/publication/BieberCMGLWZ00},
cites = {0},
citedby = {0},
pages = {25-37},
booktitle = {Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers},
editor = {Isabelle Attali and Thomas P. Jensen},
volume = {2041},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42167-X},
}