iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/csfw/GoodloeG07.xml
Alwyn Goodloe Carl A. Gunter Reasoning about Concurrency for Security Tunnels. 64-78 2007 CSF https://doi.org/10.1109/CSF.2007.28 https://doi.ieeecomputersociety.org/10.1109/CSF.2007.28 conf/csfw/2007 db/conf/csfw/csf2007.html#GoodloeG07