Reasoning about card tears and transactions in java card

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2984, Issue , 2004, Pages 114-128

  Hubbers, Engelbert ^a   Poll, Erik ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

RANDOM ACCESS STORAGE; SMART CARDS; SOFTWARE ENGINEERING;

JAVA CARD; PERSISTENT MEMORY; SPECIFIC LANGUAGES; TRANSIENT DATA;

JAVA PROGRAMMING LANGUAGE;

EID: 21144440949     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_8     Document Type: Article

References (9)

1. Beckert, B., Mostowski, W.: A program logic for handling Java Card's transaction mechanism. In Pezzè, M., ed.: Fundamental Approaches to Software Engineering, FASE'2003. Volume 2621 of Lecture Notes in Computer Science. (2003) 246-260
2. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G., Leino, K., Poll, E.: An overview of JML tools and applications. In Arts, T., Fokkink, W., eds.: Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03). Volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS)., Elsevier (2003) 73-89
3. Jacobs, B., Poll, E.: Java program verification at Nijmegen: Developments and perspective. Technical Report NIII-R0318, Dept. of Computer Science, Univiversity of Nijmegen (2003)
4. Hartel, P.H., de Jong Frz, E.K.: A programming and a modelling perspective on the evaluation of Java card implementations. In Attali, L, Jensen, T., eds.: 1st Java on Smart Cards: Programming and Security (e-Smart). Volume 2041 of LNCS., Springer-Verlag, Berlin (2000) 52-72
5. Poll, E., Hartel, P., de Jong, E.: A Java reference model of transacted memory for smart cards. In: Fifth Smart Card Research and Advanced Application Conference (CARDIS'2002), USENIX (2002) 75-86
6. Chen, Z.: Java Card Technology for Smart Cards. The Java Series. Addison-Wesley (2000)
7. Sun: Java Card 2.1 Runtime Environment (JCRE) Specification. Sun Micro systems Inc, Palo Alto, California (1999) http://java.sun.com/products/javacard/ .
8. Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley (1996)
9. Oestreicher, M.: Transactions in Java Card. In: 15th Annual Computer Security Applications Conf. (ACSAC), Phoenix, Arizona, IEEE Comput. Soc, Los Alamitos, California (1999) 291-298 http : //ww. acsac. org/1999/abstracts/thu- b- 1500-marcus. html