Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink. Update Semantics of Security Protocols. Synthese, 142(2):229-267, 2004. [doi]
@article{HommersomMV04,
title = {Update Semantics of Security Protocols},
author = {Arjen Hommersom and John-Jules Ch. Meyer and Erik P. de Vink},
year = {2004},
doi = {10.1007/s11229-004-2247-0},
url = {http://dx.doi.org/10.1007/s11229-004-2247-0},
researchr = {https://researchr.org/publication/HommersomMV04},
cites = {0},
citedby = {0},
journal = {Synthese},
volume = {142},
number = {2},
pages = {229-267},
}