Automated Verification of Group Key Agreement Protocols | Publicación