A Z Based Approach to Verifying Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin W. Long, Colin J. Fidge, Antonio Cerone. A Z Based Approach to Verifying Security Protocols. In Jin Song Dong, Jim Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Volume 2885 of Lecture Notes in Computer Science, pages 375-395, Springer, 2003. [doi]

This author has not been identified. Look up 'Benjamin W. Long' in GoogleThis author has not been identified. Look up 'Colin J. Fidge' in GoogleThis author has not been identified. Look up 'Antonio Cerone' in Google

runs on WebDSL