Protocol Security Testing with SPIN and TTCN-3 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Li Zhou, Xia Yin, Zhiliang Wang. Protocol Security Testing with SPIN and TTCN-3. In Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings. pages 511-519, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Li Zhou' in GoogleThis author has not been identified. Look up 'Xia Yin' in GoogleThis author has not been identified. Look up 'Zhiliang Wang' in Google

runs on WebDSL