Zhi Fu, Shyhtsun Felix Wu, He Huang, Kung Loh, Fengmin Gong, Ilia Baldine, Chong Xu. IPSec/VPN Security Policy: Correctness, Conflict Detection, and Resolution. In Morris Sloman, Jorge Lobo, Emil Lupu, editors, Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings. Volume 1995 of Lecture Notes in Computer Science, pages 39-56, Springer, 2001. [doi]
Abstract is missing.