Giampaolo Bella. The principle of guarantee availability for security protocol analysis. Int. J. Inf. Sec., 9(2):83-97, 2010. [doi]
@article{Bella10, title = {The principle of guarantee availability for security protocol analysis}, author = {Giampaolo Bella}, year = {2010}, url = {http://springerlink.metapress.com/content/06076g5311g57l05/}, tags = {protocol, analysis, security}, researchr = {https://researchr.org/publication/Bella10}, cites = {0}, citedby = {0}, journal = {Int. J. Inf. Sec.}, volume = {9}, number = {2}, pages = {83-97}, }