Zhi Fu Shyhtsun Felix Wu He Huang Kung Loh Fengmin Gong Ilia Baldine Chong Xu IPSec/VPN Security Policy: Correctness, Conflict Detection, and Resolution. 39-56 2001 conf/policy/2001 POLICY http://link.springer.de/link/service/series/0558/bibs/1995/19950039.htm db/conf/policy/policy2001.html#FuWHLGBX01