Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov. Measuring protocol strength with security goals. Int. J. Inf. Sec., 15(6):575-596, 2016. [doi]
@article{RoweGL16,
title = {Measuring protocol strength with security goals},
author = {Paul D. Rowe and Joshua D. Guttman and Moses D. Liskov},
year = {2016},
doi = {10.1007/s10207-016-0319-z},
url = {http://dx.doi.org/10.1007/s10207-016-0319-z},
researchr = {https://researchr.org/publication/RoweGL16},
cites = {0},
citedby = {0},
journal = {Int. J. Inf. Sec.},
volume = {15},
number = {6},
pages = {575-596},
}