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.
Abstract is missing.