309 search results - page 6 / 62 » A Type System for Expressive Security Policies |
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
With the advent of wide security platforms able to express simultaneously all the policies comprising an organization's global security policy, the problem of inconsistencies...
EGCDMAS
2004
13 years 9 months ago
2004
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
ACISP
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. This paper examines the access control requirements of distributed health care information networks. Since the electronic sharing of an individual’s personal health inf...
DANCE
2002
IEEE
14 years 15 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...