2 search results - page 1 / 1 » Provably correct inline monitoring for multithreaded Java-li... |
83
Voted
JCS
2010
14 years 7 months ago
2010
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
156
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Program monitoring is a well-established and efficient approach to security policy enforcement. An implementation of program monitoring that is particularly appealing for...