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