852 search results - page 151 / 171 » Model-Checking Access Control Policies |
EUROPKI
2006
Springer
13 years 11 months ago
2006
Springer
Privacy-aware Public Key Infrastructure (PKI) can maintain user access control and yet protect user privacy, which is envisioned as a promising technique in many emerging applicat...
FAST
2009
13 years 5 months ago
2009
We introduce a novel multi-resource allocator to dynamically allocate resources for database servers running on virtual storage. Multi-resource allocation involves proportioning t...
WETICE
2003
IEEE
14 years 26 days ago
2003
IEEE
Collaboration over the Internet depends on the ability of the members of a group to exchange data in a secure yet unobtrusive manner. WebDAVA is a system that allows users to de�...
NDSS
2002
IEEE
14 years 16 days ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
ECRTS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...