Reasoning about Concurrency for Security Tunnels

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.28 ◽

2007 ◽

Cited By ~ 1

Author(s):

Alwyn E. Goodloe ◽

Carl A. Gunter

Download Full-text