Ioana Boureanu, Mika Cohen, Alessio Lomuscio. Automatic verification of temporal-epistemic properties of cryptographic protocols. Journal of Applied Non-Classical Logics, 19(4):463-487, 2009. [doi]
@article{BoureanuCL09,
title = {Automatic verification of temporal-epistemic properties of cryptographic protocols},
author = {Ioana Boureanu and Mika Cohen and Alessio Lomuscio},
year = {2009},
url = {http://jancl.e-revues.com/article.jsp?articleId=14161},
tags = {protocol},
researchr = {https://researchr.org/publication/BoureanuCL09},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {19},
number = {4},
pages = {463-487},
}