Portal de Periódicos da CAPES

ActionScript In-Lined Reference Monitoring in Prolog

2010; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-11503-5_13

1611-3349

Meera Sridhar, Kevin W. Hamlen,

Formal Methods in Verification

A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework for implementing IRM's. Its declarative and reversible nature facilitate the dual tasks of binary parsing and code generation, greatly simplifying many otherwise difficult IRM implementation challenges. The approach is demonstrated via the enforcement of several security policies on real-world Adobe Flash applets and AIR applications.