Rachid Echahed Frédéric Prost Wendelin Serwe Statically assuring secrecy for dynamic concurrent processes. 91-101 2003 conf/ppdp/2003 PPDP http://doi.acm.org/10.1145/888251.888261 db/conf/ppdp/ppdp2003.html#EchahedPS03