Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

FMCO
2006
Springer

favoriteEmaildiscussreport

80views Formal Methods» more FMCO 2006»

JACK - A Tool for Validation of Security and Behaviour of Java Applications

13 years 8 months ago

JACK - A Tool for Validation of Security and Behaviour of Java Applications

Download fmco.liacs.nl

Gilles Barthe, Lilian Burdy, Julien Charles, Benja

Real-time Traffic

FMCO 2006 | Formal Methods |

claim paper

Related Content

» An Operational Semantics of the Java Card Firewall

» Enforcing HighLevel Security Properties for Applets

» Bridging the gap between web application firewalls and web applications

» A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method

» Relational queries over program traces

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FMCO
Authors	Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet

Comments (0)