A Semi Formal Model of Java Card 2.1 in UML

Olivier Carré,Hugues Martin,Jean-Jacques Vandewalle

A Semi Formal Model of Java Card 2.1 in UML

1999

Olivier Carré
Hugues Martin
Jean-Jacques Vandewalle

This paper presents a part of a UML model of the Java Card 2.1 specification that describes the security mechanisms. Our goal is to provide developers with a comprehensive documentation and an expressive notation for the security mechanisms of Java Card.

Keywords:

Java Card
Programming language
Real time Java
Java Modeling Language
Java API for XML-based RPC
Java
Java applet
Java annotation
Operating system
Generics in Java
Computer science
Software engineering

Correction
Cite
Save
Machine Reading By IdeaReader

References

Citations