Mehmet A. Orgun, Guido Governatori, Chuchang Liu. Modal tableaux for verifying stream authentication protocols. Autonomous Agents and Multi-Agent Systems, 19(1):53-75, 2009. [doi]
@article{OrgunGL09,
title = {Modal tableaux for verifying stream authentication protocols},
author = {Mehmet A. Orgun and Guido Governatori and Chuchang Liu},
year = {2009},
doi = {10.1007/s10458-007-9027-4},
url = {http://dx.doi.org/10.1007/s10458-007-9027-4},
tags = {protocol},
researchr = {https://researchr.org/publication/OrgunGL09},
cites = {0},
citedby = {0},
journal = {Autonomous Agents and Multi-Agent Systems},
volume = {19},
number = {1},
pages = {53-75},
}