Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. Deciding the Security of Protocols with Commuting Public Key Encryption..
Workshop on Automated Reasoning for Security Protocol Analysis - ARSPA'2004, Jul 2004, Cork, Ireland. 11 p.
⟨inria-00100013⟩