Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions | Publicación