292 search results - page 26 / 59 » Property Verification for Generic Access Control Models |
RBAC
1998
14 years 11 months ago
1998
Role-based access control (RBAC) has been introduced in the last few years, and offers a powerful means of specifying access control decisions. The model of RBAC usually assumes t...
COMCOM
2008
14 years 10 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
SACMAT
2005
ACM
15 years 3 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...