Cédric Fournet Andy Gordon Sergio Maffeis A Type Discipline for Authorization in Distributed Systems. 31-48 2007 CSF http://dx.doi.org/10.1109/CSF.2007.7 conf/csfw/2007 db/conf/csfw/csf2007.html#FournetGM07