97 search results - page 2 / 20 » Consistency Checking of Safety and Availability in Access Co... |
OTM
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
CAI
2006
Springer
14 years 9 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
ISW
2005
Springer
15 years 2 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...