9 search results - page 1 / 2 » esorics 2000 |
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
ESORICS
2000
Springer
13 years 8 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
13 years 8 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...