Joshua D. Guttman. Establishing and preserving protocol security goals. Journal of Computer Security, 22(2):203-267, 2014. [doi]
@article{Guttman14, title = {Establishing and preserving protocol security goals}, author = {Joshua D. Guttman}, year = {2014}, doi = {10.3233/JCS-140499}, url = {http://dx.doi.org/10.3233/JCS-140499}, researchr = {https://researchr.org/publication/Guttman14}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {22}, number = {2}, pages = {203-267}, }