3 search results - page 1 / 1 » Static Validation of Licence Conformance Policies |
IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...