Giampaolo Bella. What is Correctness of Security Protocols?. J. UCS, 14(12):2083-2106, 2008.
@article{Bella08:0, title = {What is Correctness of Security Protocols?}, author = {Giampaolo Bella}, year = {2008}, tags = {protocol, security}, researchr = {https://researchr.org/publication/Bella08%3A0}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {14}, number = {12}, pages = {2083-2106}, }