288 search results - page 19 / 58 » Algebra and logic for access control |
IJOE
2007
13 years 7 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
TLDI
2010
ACM
14 years 4 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...