Andrew D. Gordon From Typed Process Calculi to Source-Based Security. 2 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_2 db/conf/sas/sas2005.html#Gordon05