A Prototype Tool for JavaCard Firewall Analysis

René Rydhof Hansen

A Prototype Tool for JavaCard Firewall Analysis

René Rydhof Hansen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

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.

Original language	English
Title of host publication	Nordic Workshop on Secure IT-Systems
Publisher	Karlstad University
Publication date	2002
Publication status	Published - 2002
Event	7th Nordic Workshop on Secure IT-Systems - Karlstad University, Karlstad, Sweden Duration: 7 Nov 2002 → 8 Nov 2002 Conference number: 7

Workshop

Workshop	7th Nordic Workshop on Secure IT-Systems
Number	7
Location	Karlstad University
Country/Territory	Sweden
City	Karlstad
Period	07/11/2002 → 08/11/2002

OpenUrl availability

Full text

Cite this

@inproceedings{0dd8a3f9b01b4aaa9bf7bf4ad74a019a,

title = "A Prototype Tool for JavaCard Firewall Analysis",

abstract = "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.",

keywords = "static analysis java card firewall flow logic",

author = "Hansen, \{Ren{\'e} Rydhof\}",

year = "2002",

language = "English",

booktitle = "Nordic Workshop on Secure IT-Systems",

publisher = "Karlstad University",

note = "7th Nordic Workshop on Secure IT-Systems, NordSec2002 ; Conference date: 07-11-2002 Through 08-11-2002",

}

TY - GEN

T1 - A Prototype Tool for JavaCard Firewall Analysis

AU - Hansen, René Rydhof

N1 - Conference code: 7

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

KW - static analysis java card firewall flow logic

M3 - Article in proceedings

BT - Nordic Workshop on Secure IT-Systems

PB - Karlstad University

T2 - 7th Nordic Workshop on Secure IT-Systems

Y2 - 7 November 2002 through 8 November 2002

ER -

A Prototype Tool for JavaCard Firewall Analysis

Abstract

Workshop

OpenUrl availability

Fingerprint

Cite this