A formal methodology for integral security design and verification of network protocols - Diaz, Jesus; Arroyo, David; Rodriguez, Francisco B.; (Journal Of Systems And Software, 2014)