174 search results - page 14 / 35 » Enforcing Non-safety Security Policies with Program Monitors |
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Group-Centric Secure Information Sharing (g-SIS) is motivated by the need to dynamically share information amongst a set of authorized users for a specific purpose. Authorized ...
106
click to vote
ACSAC
2010
IEEE
14 years 9 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...
122
click to vote
SERP
2010
14 years 9 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
CN
2000
14 years 11 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...