25 search results - page 4 / 5 » Pastures: Towards Usable Security Policy Engineering |
SOUPS
2006
ACM
13 years 11 months ago
2006
ACM
While Internet users claim to be concerned about online privacy, their behavior rarely reflects those concerns. In this paper we investigate whether the availability of compariso...
PLDI
2012
ACM
11 years 8 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
AOSD
2004
ACM
13 years 11 months ago
2004
ACM
AspectWerkz is a framework targeted towards dynamic aspectoriented programming (AOP) in commercial applications. Based on our experience designing and supporting AspectWerkz, we h...
COMPSAC
2009
IEEE
14 years 15 days ago
2009
IEEE
To-date, security analysis techniques focus on the explicit access to data, thereby neglecting information flows happening over covert channels. As a result, critical business so...
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...