16 search results - page 2 / 4 » Formal Proof of Smart Card Applets Correctness |
CARDIS
2000
Springer
13 years 10 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
ESORICS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
JCS
2002
13 years 5 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
ESEC
1999
Springer
13 years 10 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...