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.

Further White Paper Details
PublisherAalborg University File FormatPDF
Date PublishedNovember 2002
FormatWhite Papers   
Topics

Quick Sitemap Links: