A Prototype Tool for JavaCard Firewall Analysis
René Rydhof Hansen · 2002
JavaCard is a variant of the Java programming language specifically designed for use on Smart Cards. In order to support the secure execution of several different applets on a Smart Card, the JavaCard Virtual Machine implements a firewall that isolates applets from each other by preventing unwanted information sharing and communication between applets.