2 search results - page 1 / 1 » ActionScript In-Lined Reference Monitoring in Prolog |
PADL
2010
Springer
14 years 1 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...
VMCAI
2010
Springer
14 years 1 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'...