Modeling and analyzing security protocols in SAM: A case study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Zhengfan Dai' in GoogleThis author has not been identified. Look up 'Xudong He' in GoogleThis author has not been identified. Look up 'Junhua Ding' in GoogleThis author has not been identified. Look up 'Shu Gao' in Google

runs on WebDSL