Marco Pistoia Anindya Banerjee David A. Naumann Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. 149-163 2007 conf/sp/2007 IEEE Symposium on Security and Privacy http://dx.doi.org/10.1109/SP.2007.10 db/conf/sp/sp2007.html#PistoiaBN07