292 search results - page 23 / 59 » Property Verification for Generic Access Control Models |
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
PPDP
2010
Springer
13 years 6 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...
GPCE
2008
Springer
13 years 9 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
ENTCS
2006
13 years 8 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...