6 search results - page 1 / 2 » JACK - A Tool for Validation of Security and Behaviour of Ja... |
FMCO
2006
Springer
13 years 8 months ago
2006
Springer
ESMART
2001
Springer
13 years 8 months ago
2001
Springer
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,...
CARDIS
2004
Springer
13 years 9 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
CADUI
2004
13 years 5 months ago
2004
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...