687 search results - page 121 / 138 » A Self-Policing Policy Language |
138
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
118
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
120
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
104
click to vote
CACM
1998
15 years 1 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
133
click to vote
KBSE
2010
IEEE
15 years 5 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...