687 search results - page 97 / 138 » A Self-Policing Policy Language |
146
click to vote
ESOP
2007
Springer
16 years 13 days ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
140
click to vote
CSFW
2006
IEEE
16 years 10 days ago
2006
IEEE
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
204
click to vote
ICECCS
2005
IEEE
15 years 12 months ago
2005
IEEE
The JavaScript language is used to enhance the clientside display of web pages. JavaScript code is downloaded into browsers and executed on-the-fly by an embedded interpreter. Br...
157
click to vote
CCS
2005
ACM
15 years 11 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...
150
click to vote
DRM
2005
Springer
15 years 11 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...