Modeling and verification of IPSec and VPN security policies (2005)

by Hazem Hamed, Ehab Al-shaer, Will Marrero
Venue:in Proc. IEEE Int. Conf. Netw. Protocols