8 search results - page 1 / 2 » Verification of a Formal Security Model for Multiapplicative... |
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...
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...
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...
ESORICS
2002
Springer
14 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
FLAIRS
2000
13 years 6 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...