TY  - RPRT
TI  - A formal methodology for integral security design and verification of network protocols
AU  - Jesus Diaz
AU  - David Arroyo
AU  - Francisco B. Rodriguez
PY  - 2012
DO  - 10.1016/j.jss.2013.09.020
UR  - https://arxiv.org/abs/1201.5666
ID  - 1201.5666
ER  -