118 search results - page 1 / 24 » Meca: A Tool for Access Control Models |
B
2007
Springer
13 years 11 months ago
2007
Springer
FTCS
1997
13 years 6 months ago
1997
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
CAI
2006
Springer
13 years 5 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...
CADE
2011
Springer
12 years 4 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...