12 search results - page 1 / 3 » Verified Formal Security Models for Multiapplicative Smart C... |
JCS
2002
13 years 4 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...
ESORICS
2000
Springer
13 years 8 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...
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multiapplication cards like the Java Card. The transact...
CARDIS
1998
Springer
13 years 9 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...