852 search results - page 12 / 171 » Model-Checking Access Control Policies |
JCS
2008
13 years 8 months ago
2008
The protection of privacy is an increasing concern in our networked society because of the growing amount of personal information that is being collected by a number of commercial...
CHI
2011
ACM
13 years 9 days ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
FOSAD
2000
Springer
14 years 10 days ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...