Sciweavers

5 search results - page 1 / 1
» JCCap: Capability-based Access Control for Java Card
Sort
View
CARDIS
2000
Springer
107views Hardware» more  CARDIS 2000»
13 years 11 months ago
JCCap: Capability-based Access Control for Java Card
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
Daniel Hagimont, Jean-Jacques Vandewalle
COST
2009
Springer
111views Multimedia» more  COST 2009»
14 years 1 months ago
On Development of Inspection System for Biometric Passports Using Java
Currently it is possible to implement Biometric Passport applets according to ICAO specifications. In this paper, an ePassport Java Card applet , according to ICAO specifications u...
Luis Terán, Andrzej Drygajlo
IADIS
2004
13 years 8 months ago
Enhancing WLAN Security by Introducing EAP-TLS Smartcards
Various researches have proposed multiple protocols within 802.11 security to protect and authenticate access to wireless LAN. This paper presents the first implementation of EAP-...
Mohamad Badra, Pascal Urien
SP
2003
IEEE
14 years 3 days ago
Using Memory Errors to Attack a Virtual Machine
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...
Sudhakar Govindavajhala, Andrew W. Appel
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
14 years 6 days ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...