Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther.

Huihui Yang, Andreas Prinz, Vladimir A. Oleshchuk

Browse the full PDP paper archive.