Verifying Parameterized Timed Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Li Li, Jun Sun, Yang Liu, Jin Song Dong. Verifying Parameterized Timed Security Protocols. In Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, pages 342-359, Springer, 2015. [doi]

This author has not been identified. Look up 'Li Li' in GoogleThis author has not been identified. It may be one of the following persons:

Jun Sun

Look up 'Jun Sun' in GoogleThis author has not been identified. Look up 'Yang Liu' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in Google

runs on WebDSL