Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

An Operational Semantics of the Java Card Firewall

2001; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-45418-7_9

ISSN

1611-3349

Autores

Marc Éluard, Thomas Jensen, Ewen Denne,

Tópico(s)

Parallel Computing and Optimization Techniques

Resumo

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, shareable objects and contexts. The goal is to provide a precise description of the Java Card firewall using standard tools from operational semantics. Such a description is necessary for formally arguing the correctness of tools for validating the security of Java Card applications.

Referência(s)