Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly

First Page		Document Content
Date: 2013-12-09 08:45:52		Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly Add to Reading List Source URL: www.cs.tau.ac.il Download Document from Source Website File Size: 1.007,54 KB Share Document on Facebook