Martin Pettai, Peeter Laud. Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus. 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 100-115, Springer, 2013. [doi]
Abstract is missing.