139 search results - page 15 / 28 » Fable: A Language for Enforcing User-defined Security Polici... |
75
Voted
ACSAC
2003
IEEE
15 years 3 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...
CSFW
2003
IEEE
15 years 3 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
74
Voted
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
100
Voted
PLDI
2012
ACM
13 years 3 days 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...