3 search results - page 1 / 1 » Model-Checking In-Lined Reference Monitors |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
PADL
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
SP
2010
IEEE
13 years 3 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...