87 search results - page 9 / 18 » Direct static enforcement of high-level security policies |
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
CSFW
2000
IEEE
13 years 12 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
HOTOS
1999
IEEE
13 years 12 months ago
1999
IEEE
We present a mechanism for inter-process communication (IPC) redirection that enables efficient and flexible access control for micro-kernel systems. In such systems, services are...
ENTCS
2007
13 years 7 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...