. . "2009" . "Chridi Najah, Turuani Mathieu, Rusinowitch Michael. Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. Computer Security Foundations Symposium, Jul 2009, Port Jefferson, United States. pp.277-289" . "Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists" . .