ActionScript In-Lined Reference Monitoring in Prolog

Abstract. 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.

• Type: Conference
• Year: 2010
• Where: PADL
• Authors: Meera Sridhar, Kevin W. Hamlen
• Keywords: IRM Implementation Challenges, PADL 2010, Programming Languages, Prolog Implementation, Real-world Adobe Flash