A Sound Decision Procedure for the Compositionality of Secrecy. - Martín Ochoa; Jan Jürjens; Daniel Warzecha (ESSoS, 2012)