Catherine Meadows. Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications, 21(1):44-54, 2003. [doi]
@article{Meadows03-0,
title = {Formal methods for cryptographic protocol analysis: emerging issues and trends},
author = {Catherine Meadows},
year = {2003},
doi = {10.1109/JSAC.2002.806125},
url = {http://dx.doi.org/10.1109/JSAC.2002.806125},
researchr = {https://researchr.org/publication/Meadows03-0},
cites = {0},
citedby = {0},
journal = {IEEE Journal on Selected Areas in Communications},
volume = {21},
number = {1},
pages = {44-54},
}