524 search results - page 38 / 105 » Enforcing Messaging Security Policies |
168
click to vote
ESORICS
2007
Springer
16 years 7 days 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...
156
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
189
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
166
click to vote
DMS
2010
15 years 4 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
140
click to vote
WPES
2004
ACM
15 years 11 months ago
2004
ACM
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...