151 search results - page 15 / 31 » On Testing for Absence of Rights in Access Control Models |
ENVSOFT
2006
13 years 7 months ago
2006
Our ability to numerically model natural systems has progressed enormously over the last 10e20 years. During the last decade computational power has increased to the stage where w...
MEDES
2010
ACM
13 years 2 months ago
2010
ACM
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
TISSEC
2010
13 years 2 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
COOP
2004
13 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
SACMAT
2003
ACM
14 years 20 days ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...