660 search results - page 2 / 132 » Reasoning about Dynamic Policies |
COMPSAC
2010
IEEE
13 years 3 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
CSFW
2003
IEEE
13 years 10 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
SWS
2005
ACM
13 years 11 months ago
2005
ACM
CSFW
2005
IEEE
13 years 11 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,...
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...