Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao. Modeling and analyzing security protocols in SAM: A case study. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 115-121, IASTED/ACTA Press, 2004.
@inproceedings{DaiHDG04,
title = {Modeling and analyzing security protocols in SAM: A case study},
author = {Zhengfan Dai and Xudong He and Junhua Ding and Shu Gao},
year = {2004},
tags = {case study, modeling, protocol, security},
researchr = {https://researchr.org/publication/DaiHDG04},
cites = {0},
citedby = {0},
pages = {115-121},
booktitle = {Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA},
editor = {M. H. Hamza},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-425-X},
}