%0 Journal Article %1 journals/jhsn/YangMFW06 %A Yang, Yanyan %A Martel, Charles U. %A Fu, Zhi (Judy) %A Wu, Shyhtsun Felix %D 2006 %J J. High Speed Networks %K dblp %N 3 %P 275-289 %T IPsec/VPN security policy correctness and assurance. %U http://dblp.uni-trier.de/db/journals/jhsn/jhsn15.html#YangMFW06 %V 15

@article{journals/jhsn/YangMFW06, added-at = {2015-05-18T00:00:00.000+0200}, author = {Yang, Yanyan and Martel, Charles U. and Fu, Zhi (Judy) and Wu, Shyhtsun Felix}, biburl = {https://www.bibsonomy.org/bibtex/23e6d0747d405b272f518493579430d1d/dblp}, ee = {http://content.iospress.com/articles/journal-of-high-speed-networks/jhs291}, interhash = {86c38ca41928a2cf891192b6c4399bd4}, intrahash = {3e6d0747d405b272f518493579430d1d}, journal = {J. High Speed Networks}, keywords = {dblp}, number = 3, pages = {275-289}, timestamp = {2015-06-18T00:53:10.000+0200}, title = {IPsec/VPN security policy correctness and assurance.}, url = {http://dblp.uni-trier.de/db/journals/jhsn/jhsn15.html#YangMFW06}, volume = 15, year = 2006 }