Scyther: Unbounded verification of security protocols