Sciweavers

97 search results - page 1 / 20
» Consistency Checking of Safety and Availability in Access Co...
Sort
View
IEICET
2010
62views more  IEICET 2010»
13 years 3 months ago
Consistency Checking of Safety and Availability in Access Control
Ruixuan Li, Jianfeng Lu, Zhengding Lu, Xiaopu Ma
ENTCS
2007
113views more  ENTCS 2007»
13 years 4 months ago
On the Decidability of the Safety Problem for Access Control Policies
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
E. Kleiner, T. Newcomb
QSIC
2005
IEEE
13 years 10 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
EDBT
2008
ACM
137views Database» more  EDBT 2008»
14 years 4 months ago
ACCOn: checking consistency of XML write-access control policies
XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of ...
Loreto Bravo, James Cheney, Irini Fundulaki
CCS
2006
ACM
13 years 8 months ago
Safety and consistency in policy-based authorization systems
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
Adam J. Lee, Marianne Winslett