ESORICS
2000
Springer
14 years 4 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...
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer
The ATM technology has been specified to provide users with the ability to request quality of service (QoS) for their applicatio ns and to enable high speed communications. Howeve...
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
ESORICS
2000
Springer
14 years 4 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...
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer
ESORICS
2000
Springer
14 years 4 months ago
2000
Springer