3899 search results - page 14 / 780 » Argumentation for Access Control |
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
EDCC
2010
Springer
14 years 2 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
RTSS
2002
IEEE
14 years 2 months ago
2002
IEEE
SUTC
2006
IEEE
14 years 4 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
DBSEC
2006
13 years 11 months ago
2006
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...