137
Voted
FOCS
1998
IEEE
15 years 7 months ago
1998
IEEE
We prove an exponential lower bound for tree-like Cutting Planes refutations of a set of clauses which has polynomial size resolution refutations. This implies an exponential sepa...
141
Voted
ESORICS
2000
Springer
15 years 7 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...
144
Voted
ESORICS
2000
Springer
15 years 7 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...
109
Voted
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
117
Voted
ESORICS
2000
Springer
15 years 7 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...