Reasoning about Concurrency for Security Tunnels

Reasoning about Concurrency for Security Tunnels
Alwyn E. Goodloe and Carl A. Gunter
IEEE Computer Security Foundations (CSF ’07), Venice, Italy, July 2007. [PPT][BBT]

Last updated on Thursday, June 26, 2014, 12:58 pm