87 search results - page 6 / 18 » Direct static enforcement of high-level security policies |
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
ICPADS
2006
IEEE
14 years 1 months ago
2006
IEEE
One of the guiding principles of the Grid is local (site) autonomy. Resource owners maintain control over their resources even when those resources are part of a larger Grid. In o...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
ICTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
FOAL
2007
ACM
13 years 11 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...