%0 Conference Paper %1 conf/icnp/HamedAM05 %A Hamed, Hazem H. %A Al-Shaer, Ehab S. %A Marrero, Will %B ICNP %D 2005 %I IEEE Computer Society %K dblp %P 259-278 %T Modeling and Verification of IPSec and VPN Security Policies. %U http://dblp.uni-trier.de/db/conf/icnp/icnp2005.html#HamedAM05 %@ 0-7695-2437-0

@inproceedings{conf/icnp/HamedAM05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hamed, Hazem H. and Al-Shaer, Ehab S. and Marrero, Will}, biburl = {https://www.bibsonomy.org/bibtex/262004a7bb36eb9d1661d6edb5e87b0b5/dblp}, booktitle = {ICNP}, crossref = {conf/icnp/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICNP.2005.25}, interhash = {a9277a0fd90bee99bdc3e50431e0b961}, intrahash = {62004a7bb36eb9d1661d6edb5e87b0b5}, isbn = {0-7695-2437-0}, keywords = {dblp}, pages = {259-278}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:39:00.000+0200}, title = {Modeling and Verification of IPSec and VPN Security Policies.}, url = {http://dblp.uni-trier.de/db/conf/icnp/icnp2005.html#HamedAM05}, year = 2005 }