247 search results - page 16 / 50 » ccs 2007 |
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Trust management represents today a promising approach for supporting access control in open environments. While several approaches have been proposed for trust management and sig...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
In existing RBAC literature, administrative privileges are inherited just like ordinary user privileges. We argue that from a security viewpoint this is too restrictive, and we be...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...