An integrated development environment for Java Card

Computer Networks

Volumn 36, Issue 4, 2001, Pages 391-405

  Attali, Isabelle ^a   Caromel, Denis ^a   Courbis, Carine ^a   Henrio, Ludovic ^a   Nilsson, Henrik ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

Development environment; Formal specification; Java Card; Simulation

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; GRAPHICAL USER INTERFACES;

APPLICATION PROGRAMMING INTERFACE (API);

JAVA PROGRAMMING LANGUAGE;

EID: 0035898903     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(01)00162-1     Document Type: Article

References (23)

1. From executable formal specification to Java property verification
2. A formal and executable semantics for Java
3. Formalization in Coq of the Java Card virtual machine
4. Centaur: The system
5. A performance comparison of Java cards for micropayment implementation
6. How to write a Java Card applet: A developer's guide
7. Describing the semantics of Java and proving type soundness
8. Jccap: Cpability-based access control for Java card
9. Natural semantics
10. Formal proof of smart card applets correctness
11. Machine-checking the Java specification: Proving type-safety
12. Proving Java type soundness
13. Developing smart card-based application using Java Card
14. Metal: A formalism to specify formalisms
15. PPML: A general formalism to specific pretty-printing