Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Specification of the JavaCard API in JML: the APDU class (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Jacobs, Bart Poll, Erik Berg, Joachim Van Den |
| Abstract | This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first step, formal interface specifications, written in the specification language JML, have been developed for all the classes that make up the JavaCard API. These specifications are “lightweight ” in the sense that they are incomplete and specify only some aspects of the API, but they already provide a useful addition to the existing informal API specifications. Moreover, the fact that these specification are written in a formal language makes them amenable to tool support, for verification purposes. As an illustration, the JML specifications of the APDU (Application Protocol Data Unit) class in the JavaCard API are discussed in detail. |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Javacard-based Smart Card Javacard Source Code Useful Addition Application Protocol Data Unit Specification Language Jml Jml Specification Formal Interface Specification Informal Api Specification Apdu Class Javacard Api Verification Purpose |
| Content Type | Text |
| Resource Type | Article |
