213 search results - page 34 / 43 » A formal security policy for xenon |
ISSA
2008
13 years 8 months ago
2008
The approach to information security governance has predominantly followed a functionalist paradigm with emphasis placed on formalized rule structures and policy frameworks. The a...
PODS
2005
ACM
14 years 7 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
CASSIS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...