Véronique Cortier Stéphanie Delaune Safely composing security protocols. 1-36 2009 34 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-008-0059-4 db/journals/fmsd/fmsd34.html#CortierD09