430 search results - page 13 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
106
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
IMCS
2007
14 years 11 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...
102
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
ISW
2004
Springer
15 years 5 months ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...