852 search results - page 87 / 171 » Model-Checking Access Control Policies |
RULEML
2005
Springer
14 years 2 months ago
2005
Springer
Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
WECWIS
2009
IEEE
14 years 3 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
Authentication, access control, and audit (3As) are three fundamental mechanisms in enterprise security management for countering various types of looming threats from both inside...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...