@InProceedings{GoodloeG07, author = {Alwyn E. Goodloe and Carl A. Gunter}, title = {Reasoning about Concurrency for Security Tunnels}, booktitle = {{IEEE} Computer Security Foundations ({CSF '07})}, year = 2007, address = {Venice, Italy}, month = {July} }