Sciweavers

Share
6 search results - page 1 / 2
» JACK - A Tool for Validation of Security and Behaviour of Ja...
Sort
View
FMCO
2006
Springer
12 years 5 months ago
JACK - A Tool for Validation of Security and Behaviour of Java Applications
Gilles Barthe, Lilian Burdy, Julien Charles, Benja...
ESMART
2001
Springer
12 years 6 months ago
An Operational Semantics of the Java Card Firewall
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
Marc Éluard, Thomas P. Jensen, Ewen Denney
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
12 years 7 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
CCS
2006
ACM
12 years 5 months ago
Bridging the gap between web application firewalls and web applications
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
Lieven Desmet, Frank Piessens, Wouter Joosen, Pier...
CADUI
2004
12 years 3 months ago
A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
Susana Montero, Camino Fernández, Juan Manu...
books