A method for secure smartcard applications

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

Volumn 2422, Issue , 2002, Pages 319-333

  Haneberg, Dominik ^a   Reif, Wolfgang ^a   Stenzel, Kurt ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84944039689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45719-4_22     Document Type: Conference Paper

References (20)

1. J. Alves-Foss, editor. Formal Syntax and Semantics of Java. Springer LNCS 1523, 1999. 332
2. R. Anderson and R. Needham. Programming satan’s computer. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Springer LNCS 1000, 1995. 319
3. M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums. Formal system development with KIV. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, number 1783 in LNCS. Springer, 2000. 319
4. B. Beckert. A dynamic logic for the formal verification of java card programs. In I. Attali and T. Jensen, editors, Java on Smart Cards. Springer LNCS 2041, 2000. 332
5. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Technical report, SRC Research Report 39, 1989. 332
6. CoFI: The Common Framework Initiative. Casl — the CoFI algebraic specification language tentative design: Language summary, 1997. http://www.brics.dk/Projects/CoFI. 325
7. R. Eshuis and R. Wieringa. A formal semantics for uml activity diagrams - formalising workflow models. Technical report, University of Twente, February 2001. http://wwwhome.cs.utwente.nl/~eshuis/adsem.pdf. 332
8. D. Harel. First Order Dynamic Logic. LNCS 68. Springer, Berlin, 1979. 331
9. International Standards Organization, Geneva. ISO 7816 – Identification Cards – Integrated cicuit(s) cards with contacts. several parts, 1987 – 1997. 331
10. Java Card 2.1.1 Specification, 2000. http://java.sun.com/products/javacard/. 330
11. KeY project homepage. http://i12www.ira.uka.de/~key. 332
12. Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6: 85–128, 1998. 324, 325, 332
13. G. Reggio, M. Cerioli, and E. Astesiano. An Algebraic Semantics of UML Supporting its Multiview Approach. In Proc. AMiLP 2000 of the Twente Workshop on Language Technology n. 16, Enschede, University of Twente, 2000. 332
14. W. Reif. The KIV-approach to Software Verification. In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software – Final Report, LNCS 1009. Springer, Berlin, 1995. 319
15. G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll. Verification of a formal security model for multiapplicative smart cards. In Proc. of the 6th European Symposium on Research in Computer Security (ESORICS), LNCS 1895, pages 17–36. Springer, 2000. 323
16. Kurt Stenzel. Verification of JavaCard Programs. Technical report 2001-5, Institut für Informatik, Universität Augsburg, Germany, 2001. Available at http://www.Informatik.Uni-Augsburg.DE/swt/fmg/papers/. 331
17. The Object Management Group (OMG). OMG Unified Modeling Language Specification, 1999. http://www.omg.org/technology/uml. 323
18. VerifiCard project homepage. http://www.verificard.org. 332
19. David von Oheimb. Axiomatic semantics for Java_ight in Isabelle/HOL. In S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors, Formal Techniques for Java Programs. Technical Report 269, 5/2000, Fernuniversität Hagen, Fernuniversität Hagen, 2000. 332
20. Benkt Wangler and Lars Bergman, editors. An Overview of RoZ : A Tool for Integrating UML and Z Specifications, volume 1789 of Lecture Notes in Computer Science. Springer, 2000. 332