2 search results - page 1 / 1 » Provably correct inline monitoring for multithreaded Java-li... |
JCS
2010
13 years 3 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...
44
Voted
ECOOP
2009
Springer
14 years 5 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...