Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln. A comparison between strand spaces and multiset rewriting for security protocol analysis. Journal of Computer Security, 13(2):265-316, 2005.
@article{CervesatoDL05,
title = {A comparison between strand spaces and multiset rewriting for security protocol analysis},
author = {Iliano Cervesato and Nancy A. Durgin and Patrick Lincoln},
year = {2005},
tags = {protocol, analysis, graph-rewriting, security, rewriting},
researchr = {https://researchr.org/publication/CervesatoDL05},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {13},
number = {2},
pages = {265-316},
}