IPSec/VPN Security Policy: Correctness, Conflict Detection, and Resolution. - Zhi Fu; Shyhtsun Felix Wu; He Huang; Kung Loh; Fengmin Gong; Ilia Baldine; Chong Xu (POLICY, 2001)