253 search results - page 8 / 51 » On the Decidability of the Safety Problem for Access Control... |
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
SP
1996
IEEE
13 years 11 months ago
1996
IEEE
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...
ESANN
2008
13 years 9 months ago
2008
In this paper we define and address the problem of safe exploration in the context of reinforcement learning. Our notion of safety is concerned with states or transitions that can ...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
POPL
2000
ACM
13 years 12 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...