Safely Composing Security Protocols. - Véronique Cortier; Jérémie Delaitre; Stéphanie Delaune (FSTTCS, 2007)