A java reference model of transacted memory for smart cards

Proceedings of the 5th Smart Card Research and Advanced Application Conference, CARDIS 2002

Volumn , Issue , 2002, Pages

  Poll, Erik ^a   Hartel, Pieter ^b   de Jong, Eduard ^c  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UNIVERSITY OF TWENTE   (Netherlands)

^c SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL SPECIFICATION; MEMORY SYSTEMS; REFERENCE MODELING;

SMART CARDS;

EID: 18944387703     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. C.-B. Breunesse, B. Jacobs, and J. van den Berg. Specifying and verifying a decimal representation in Java for smart cards. In 9th Algebraic Methodology and Software Technology (AMAST), volume LNCS 2422, pages 304-318, St. Gilles les Bains, Reunion Island, France, Sep 2002. Springer-Verlag, Berlin.
2. M. J. Butler, P. H. Hartel, E. K. de Jong, and M. Longley. Applying formal methods to the design of smart card software. Declarative Systems & Software Engineering Technical Reports DSSE-TR-97-8, Univ. of Southampton, 1997. http://www.dsse.ecs.soton.ac.uk/techreports/97-8.html.
3. N. Cataño and M. Huisman. Formal specification of Gemplus's electronic purse case study. In L. H. Eriksson and P. A. Lindsay, editors, Formal Methods: getting IT right - Formal Methods Europe (FME), volume LNCS 2391, pages 272 - 289, Copenhagen, Denmark, Jul 2002. Springer-Verlag, Berlin.
4. Y. Cheon and G.T. Leavens. A runtime assertion checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice (SERP'02), Las Vegas, Nevada, USA, June 24-27, 2002, pages 322-328. CSREA Press, June 2002.
5. Eduard Karel de Jong and Jurjen Norbert Bos. Arrangements Storing Different Versions of a Set of Data in Separate Memory Areas and Method for Updating a Set of data in a Memory. Dutch Patent Application, PCT/NL99/00360, June 10, 1999. International Publication Number WO 00/77640, 2000. WIPO, Vienna.
6. P. H. Hartel, M. J. Butler, E. K. de Jong Frz, and M. Longley. Transacted memory for smart cards. In J. N. Olivieira and P. Zave, editors, 10th Formal Methods for Increasing Software Productivity (FME), volume LNCS 2021, pages 478-499, Berlin, Germany, Mar 2001. Springer-Verlag, Berlin. http://www.dsse.ecs.soton.ac.uk/techreports/2000-9.html.
7. P. H. Hartel and E. K. de Jong Frz. A programming and a modelling perspective on the evaluation of Java card implementations. In I. Attali and T. Jensen, editors, 1st Java on Smart Cards: Programming and Security (e-Smart), volume LNCS 2041, pages 52-72, Cannes, France, Sep 2000. Springer-Verlag, Berlin. http://www.dsse.ecs.soton.ac.uk/techreports/2000-8.html.
8. G. J. Holzmann. The model checker SPIN. IEEE Transactions on software engineering, 23(5):279-295, 1997. http://cm.bell-labs.com/cm/cs/who/gerard/.
9. G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Business and Systems, pages 175-188. Kluwer Academic Publishers, Boston/Dordrecht/London, 1999.
10. S. M. Nettles and J. M. Wing. Persistence+undoability=transactions. In 25th Hawaii System Sciences (HICS), volume 2, pages 832-843. IEEE Comput. Soc. Press., Los Alamitos, California, 1991.
11. E. Poll, J. van den Berg, and B. Jacobs. Specification of the JavaCard API in JML. In J. Domingo-Ferrer and A. Watson, editors, Fourth Smart Card Research and Advanced Application Conf. (CARDIS), pages 135-154, Bristol, UK, Sep 2000. Kluwer Academic Publishers, Boston/Dordrecht/London.
12. E. Poll, J. van den Berg, and B. Jacobs. Formal specification of the JavaCard API in JML: the APDU class. Computer Networks, 36(4):407-421, Jul 2001. The JML specs of the JavaCard API 2.1.1 are available online at http://www.cs.kun.nl/~erikpoll/ publications/jc211_specs.html.
13. J. M. Spivey. The Z notation. Prentice Hall, Englewood Cliffs, New Jersey, 1989.