Evaluation Function for Synthesizing Security Protocols by means of Genetic Algorithms | IEEE Conference Publication | IEEE Xplore