1040 search results - page 138 / 208 » Resource Usage Verification |
144
click to vote
NDSS
2002
IEEE
15 years 8 months 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...
89
Voted
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
142
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
157
Voted
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
122
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...