299 search results - page 10 / 60 » Optimizing a policy authoring framework for security and pri... |
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Fine-grained and expressive access control policies on application resources need to be enforced in applicationlevel code. Uniformly enforcing a single policy (referred to as the ...
XMLSEC
2003
ACM
14 years 21 days ago
2003
ACM
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper extends the work described in “An Approach to the Formalisation of a Certification Policy”, 7th International Symposium on System and Information Security (SSI 2005...