39 search results - page 7 / 8 » An Algebraic Basis for Specifying and Enforcing Access Contr... |
ETRICS
2006
13 years 11 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
CCS
2004
ACM
14 years 25 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
USS
2008
13 years 9 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
COLCOM
2007
IEEE
13 years 11 months ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
ADC
2009
Springer
14 years 2 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...