852 search results - page 88 / 171 » Model-Checking Access Control Policies |
127
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
107
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
128
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
136
click to vote
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
The penetration of cellular networks worldwide and emergence of smart phones has led to a revolution in mobile content. Users consume diverse content when, for example, exchanging...
139
click to vote
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper¢ presents an authorization framework for supporting fine-grained access control policies enhanced with light-weight intrusion/misuse detectors and response capabiliti...