299 search results - page 2 / 60 » Optimizing a policy authoring framework for security and pri... |
ACSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
Privacy issues have hindered centralised authentication approaches from being adopted by a wide range of users. This also applies to authorizations which suffer from privacy probl...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
CCS
2003
ACM
13 years 10 months ago
2003
ACM
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...