Safely composing security protocols (0)

by V Cortier, S Delaune
Venue:Formal Methods in System Design