Fully verified JAVA CARD API reference implementation

CEUR Workshop Proceedings

Volumn 259, Issue , 2007, Pages 136-151

  Mostowski, Wojciech ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; JAVA CARD APPLETS; JAVA CARD LANGUAGE; JAVA SOURCE CODES; REFERENCE IMPLEMENTATION; SIDE EFFECT; VERIFICATION ENVIRONMENT; VERIFICATION SYSTEMS;

SPECIFICATIONS;

JAVA PROGRAMMING LANGUAGE;

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

References (14)

1. Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt, editors. Verification of Object-Oriented Software: The KeY Approach, Volume 4334 of LNAI. Springer, 2007.
2. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, and Erik Poll. Beyond assertions: Advanced specification and verification with JML and ESC/JAVA2. In Formal Methods for Components and Objects (FMCO) 2005, Revised Lectures, Volume 4111 of LNCS, pages 342-363. Springer, 2006.
3. Werner Dietl and Peter Müller. Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8):5-32, October 2005.
4. Engelbert Hubbers, Wojciech Mostowski, and Erik Poll. Tearing JAVA CARDs. In Proceedings, e-Smart 2006, Sophia-Antipolis, France, September 20-22, 2006.
5. Engelbert Hubbers and Erik Poll. Transactions and non-atomic API calls in JAVA CARD: Specification ambiguity and strange implementation behaviours. Department of Computer Science NIII-R0438, Radboud University Nijmegen, 2004.
6. Bart Jacobs and Erik Poll. JAVA program verification at Nijmegen: Developments and perspective. In Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers, Volume 3233 of LNCS, pages 134-153. Springer, 2003.
7. Daniel Larsson and Wojciech Mostowski. Specifying JAVA CARD API in OCL. In Peter H. Schmitt, editor, OCL 2.0 Workshop at UML 2003, Volume 102 C of ENTCS, pages 3-19. Elsevier, November 2004.
8. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. JML: A Notation for Detailed Design. Kluwer Academic Publishers, 1999.
9. Hans Meijer and Erik Poll. Towards a full formal specification of the JAVA CARD API. In I. Attali and T. Jensen, editors, Smart Card Programming and Security, International Conference on Research in Smart Cards, e-Smart 2001, Cannes, France, Volume 2140 of LNCS, pages 165-178. Springer, September 2001.
10. Quang Huy Nguyen and Boutheina Chetali. Certifying native JAVA CARD API by formal refinement. In Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings, Volume 3928 of LNCS, pages 313-328. Springer, 2006.
11. Sun Microsystems, Inc., http://www.sun.com. JAVA CARD 2.2.1 API Specification, October 2003.
12. Sun Microsystems, Inc., http://www.sun.com. JAVA CARD 2.2.1 Runtime Environment Specification, October 2003.
13. Sun Microsystems, Inc., http://www.sun.com. JAVA CARD 2.2.2 API Specification, March 2006.
14. Jos Warmer and Anneke Kleppe. The Object Constraint Language, Second Edition: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading/MA, 2003.