136
Voted
ESORICS
2000
Springer
15 years 7 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...
105
Voted
ESORICS
2000
Springer
15 years 7 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...
94
Voted
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
111
Voted
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
125
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...