Verifying Group Authentication Protocols by Scyther.

Published in: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. (2016)