Figure 1 - uploaded by Hugues Martin
Content may be subject to copyright.
Download
View publication
Use Cases involved in the Java Card

Use Cases involved in the Java Card

Source publication
Figure 1: Use Cases involved in the Java Card
Figure 2: Partial Class Diagram of the Java Card
Figure 3: Class diagram of the shareable interface utilization
Figure 4: Sequence diagram of accessing a shareable interface
Figure 5: State diagram of the Firewall
A Semi Formal Model of Java Card 2.1 in UML
Article
Full-text available
  • Jan 2001
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.
Cite
Download full-text

Context in source publication

Context 1
... the access is not allowed, the firewall throws a security exception. In UML, we describe this subset of Java Card with a use case diagram (Figure 1). ...

Citations

... The last few years, several studies were conducted on design and validation of smart card software. For example, [8] represents results on the CEPS standard, [3] shows validation results on the GSM 11.11 standard [12], [31] used automated test generation on the WAP Identity Module, [5] describes techniques which can be apply at different levels of smart card software, [6] represents an automatic test generation with the LEIRIOS tool [26] from B specifications, [29] presents a method to automatically generate test for Java card applets and [7] offers a semi formal model of Java Card applications in UML. ...
Automatic Test Generation on a (U)SIM Smart Card
Conference Paper
  • Apr 2006
Usually, testing smart card software is carried-out by specialized engineers in a proprietary language. Testing represents generally half of smart card development effort. With the increasing use of semi-formal and formal modeling languages, such as UML, and the emergence of automatic test generators in the industry, we have studied a way to adapt these techniques for smart card. In this article, we present an automatic test generator, named AGATHA, and its architecture, which can handle UML specifications. Then, we suggest a way to model (U)SIM smart card functionalities in UML. We use the test generator on our (U)SIM smart card UML models and automatically produce our first test cases.
View