Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami. Authentication primitives for secure protocol specifications. Future Generation Comp. Syst., 21(4):645-653, 2005. [doi]
@article{BodeiDFP05,
title = {Authentication primitives for secure protocol specifications},
author = {Chiara Bodei and Pierpaolo Degano and Riccardo Focardi and Corrado Priami},
year = {2005},
doi = {10.1016/j.future.2004.05.004},
url = {http://dx.doi.org/10.1016/j.future.2004.05.004},
tags = {protocol},
researchr = {https://researchr.org/publication/BodeiDFP05},
cites = {0},
citedby = {0},
journal = {Future Generation Comp. Syst.},
volume = {21},
number = {4},
pages = {645-653},
}