30 search results - page 1 / 6 » Transforming policies into mechanisms with infokernel |
SOSP
2003
ACM
14 years 1 months ago
2003
ACM
We describe an evolutionary path that allows operating systems to be used in a more flexible and appropriate manner by higher-level services. An infokernel exposes key pieces of ...
JHSN
2006
13 years 4 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
SP
1999
IEEE
13 years 9 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
FOAL
2007
ACM
13 years 8 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
ICWS
2010
IEEE
13 years 6 months ago
2010
IEEE
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...