JAVACARD 2000 | Sciweavers

21

JAVACARD
2000

202views Programming Languages» more JAVACARD 2000»

Automatic Test Generation for Java-Card Applets

13 years 8 months ago

: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...

Hugues Martin, Lydie du Bousquet

claim paper

Read More »

7

click to vote

JAVACARD
2000

97views Programming Languages» more JAVACARD 2000»

Issues in Smartcard Middleware

13 years 8 months ago

Download www.vs.inf.ethz.ch

Roger Kehr, Michael Rohs, Harald Vogt

claim paper

Read More »

11

click to vote

JAVACARD
2000

131views Programming Languages» more JAVACARD 2000»

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow

13 years 8 months ago

Download www.gemplus.com

Pierre Bieber, Jacques Cazin, A. El Marouani, Pier...

claim paper

Read More »

15

click to vote

JAVACARD
2000

139views Programming Languages» more JAVACARD 2000»

Formal Specification and Verification of JavaCard's Application Identifier Class

13 years 8 months ago

Download www.cs.ru.nl

Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...

Joachim van den Berg, Bart Jacobs, Erik Poll

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers