file.pdf (896.22 kB)
Download file

Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols

Download (896.22 kB)
journal contribution
posted on 01.06.2002, 00:00 authored by Edmund M Clarke, Somesh Jha, Will Marrero
As more resources are added to computer networks, and as more vendors look to the World Wide Web as a viable marketplace, the importance of being able to restrict access and to ensure some kind of acceptable behavior even in the presence of malicious adversaries becomes paramount.

History

Date

01/06/2002