A Generic Model for Symbolic Analyzing Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong. A Generic Model for Symbolic Analyzing Security Protocols. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 680-684, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Yonggen Gu' in GoogleThis author has not been identified. Look up 'Yuxi Fu' in GoogleThis author has not been identified. Look up 'Yang Li' in GoogleThis author has not been identified. Look up 'Xiaoju Dong' in Google

runs on WebDSL