288 search results - page 27 / 58 » Algebra and logic for access control |
135
Voted
FATES
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
103
Voted
STORAGESS
2005
ACM
15 years 7 months ago
2005
ACM
Database outsourcing is becoming increasingly popular introducing a new paradigm, called database-as-a-service (DAS), where an organization’s database is stored at an external s...
134
click to vote
ICTAI
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
152
Voted
ICLP
2011
Springer
14 years 5 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
126
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...