ActionScript In-Lined Reference Monitoring in Prolog

@inproceedings{Sridhar2010ActionScriptIR,
  title={ActionScript In-Lined Reference Monitoring in Prolog},
  author={Meera Sridhar and Kevin W. Hamlen},
  booktitle={PADL},
  year={2010}
}
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… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS