Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Secure calling contexts for stack inspection. PPDP 2002: 76-87