Firewalls White Papers
A Prototype Tool for JavaCard Firewall Analysis
Overview 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. This paper reports on a prototype tool that can statically verify that a JavaCard applet does not violate the firewall rules. Such a tool is useful for increasing confidence in the security of an applet. Furthermore, a developer can use the tool for guaranteeing in advance, i.e. before the applet is deployed, that it will not throw a security exception at an inopportune moment, thus leading to more robust and user-friendly applets.
| Publisher | Aalborg University | File Format | |
|---|---|---|---|
| Date Published | November 2002 | ||
| Format | White Papers | ||
| Topics | |||


