Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists