Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adi Sosnovich, Orna Grumberg, Gabi Nakibly. Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 724-739, Springer, 2013. [doi]

This author has not been identified. Look up 'Adi Sosnovich' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in GoogleThis author has not been identified. Look up 'Gabi Nakibly' in Google

runs on WebDSL