Sciweavers

1167 search results - page 9 / 234
» policy 2007
Sort
View
JNSM
2007
65views more  JNSM 2007»
13 years 10 months ago
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture
Romain Laborde, Michel Kamel, François Barr...
JSA
2007
93views more  JSA 2007»
13 years 10 months ago
A comparison of two policies for issuing instructions speculatively
Enric Morancho, José María Llaber&ia...
ENTCS
2007
128views more  ENTCS 2007»
13 years 10 months ago
Rewriting-Based Access Control Policies
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
Anderson Santana de Oliveira