Electronic purse applet certification: Extended abstract

Electronic Notes in Theoretical Computer Science

Volumn 32, Issue , 2000, Pages 14-25

  Bieber, P ^a   Cazin, J ^a   Wiels, V ^a   Zanon, G ^a   Girard, P ^b   Lanet, J L ^b  

^a ONERA   (France)

^b GEMPLUS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; INFORMATION ANALYSIS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; SECURITY OF DATA;

ELECTRONIC PURSE APPLET CERTIFICATION; JAVA APPLETS; MULTIAPPLICATION SMART CARDS; SECURITY POLICY;

SMART CARDS;

EID: 11144223878     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00092-1     Document Type: Conference Paper

References (11)

1. Bieber P., Cuppens F. A Logical View of Secure Dependencies. Journal of Computer Security. 1:(1):1992;99-129
2. Stephen N. Freund and John C. Mitchell. A type system for object initialization in the Java byte code language. In Proceedings of OOPSLA 98, 1998.
3. Pierre Girard. Which security policy for multiapplication smart cards? In USENIX workshop on smartcard technology, 1999.
4. J. Goguen and J. Meseguer. Unwinding and Inference Control. In IEEE Symposium on Security and Privacy, Oakland, 1984.
5. Pieter H. Hartel, Michael J. Butler, and Moshe Levy. The operational semantics of a Java secure processor. Technical Report DSSE-TR-98-1, Declarative systems and Software Engineering group, University of Southampton, Highfield, Southampton SO17 1BJ, UK, 1998.
6. T. Jensen, D. Le Métayer, and T. Thron. Veification of Control flow based security policies. In Proceedings of the 20th IEEE Security and Privacy Symposium, 1999.
7. Lindholm T., Yellin F. The Java Virtual Machine Specification. 1997;Addison Wesley
8. K.L. McMillan. The SMV language. cadence Berkeley Labs, 1999.
9. Joachim Posegga and Harald Vogt. Offline verification for Java byte code using a model checker. In Proceedings of ESORICS, number 1485 in LNCS. Springer, 1998.
10. Raymie Stata and Martin Abadi. A type system for Java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
11. Sun Microsystems. Java Card 2.1 Redltime Environment (JCRE) Specification, February 1999.