Evaluation Function for Synthesizing Security Protocols by means of Genetic Algorithms | Publicación