3899 search results - page 444 / 780 » Argumentation for Access Control |
197
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
239
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
181
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
166
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: With the growing amount of biomedical data available in public databases it has become increasingly important to annotate data in a consistent way in order to allow ea...
188
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
In the setting of secure computation, a set of parties wish to securely compute some function of their inputs, in the presence of an adversary. The adversary in question may be st...