8 search results - page 1 / 2 » Safety and consistency in policy-based authorization systems |
TISSEC
2008
13 years 4 months ago
2008
CCS
2006
ACM
13 years 8 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
SIGDOC
1998
ACM
13 years 8 months ago
1998
ACM
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
SACMAT
2009
ACM
13 years 11 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
VEE
2005
ACM
13 years 10 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...