Tero Hasu, Anya Helene Bagge, Magne Haveraaen. Inferring Required Permissions for Statically Composed Programs. In Hanne Riis Nielson, Dieter Gollmann, editors, Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Volume 8208 of Lecture Notes in Computer Science, pages 51-66, Springer, 2013. [doi]
Abstract is missing.