872 search results - page 83 / 175 » An Access Control Language for a General Provenance Model |
CCS
2005
ACM
14 years 1 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...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...
VL
1992
IEEE
13 years 11 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
DIMVA
2009
13 years 8 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
BIRTHDAY
2009
Springer
13 years 11 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...