Modeling and verification of ipsec and vpn security policies (2005)

by Hazem H Hamed, Ehab S Al-Shaer, Will Marrero
Venue:In ICNP