13717 search results - page 288 / 2744 » Control Systems |
MSS
2005
IEEE
15 years 10 months ago
2005
IEEE
124
click to vote
SP
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
108
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...