852 search results - page 21 / 171 » Model-Checking Access Control Policies |
128
click to vote
IEEEIAS
2007
IEEE
15 years 8 months ago
2007
IEEE
: Achieving privacy preservation in a data-sharing computing environment is becoming a challenging problem. Some organisations may have published privacy policies, which promise pr...
115
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
117
click to vote
ENTCS
2006
15 years 1 months ago
2006
Web services represent a challenge and an opportunity for organizations wishing to expose product and services offerings through the Internet. The Web service technology provides ...
104
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
111
click to vote
DBSEC
2010
15 years 3 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...