Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet. JACK - A Tool for Validation of Security and Behaviour of Java Applications. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Volume 4709 of Lecture Notes in Computer Science, pages 152-174, Springer, 2006. [doi]
@inproceedings{BartheBCGHLPR06,
title = {JACK - A Tool for Validation of Security and Behaviour of Java Applications},
author = {Gilles Barthe and Lilian Burdy and Julien Charles and Benjamin Grégoire and Marieke Huisman and Jean-Louis Lanet and Mariela Pavlova and Antoine Requet},
year = {2006},
doi = {10.1007/978-3-540-74792-5_7},
url = {http://dx.doi.org/10.1007/978-3-540-74792-5_7},
tags = {Java, security},
researchr = {https://researchr.org/publication/BartheBCGHLPR06},
cites = {0},
citedby = {0},
pages = {152-174},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {4709},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74791-8},
}