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...