3Zhao Yuehua, Hu Bai, Zhou Conghua. Formal Description and Verification of Security Filtered Rules[C] //Proc. of the 1st International Conference on Networking and Distributed Computing. Hangzhou, China: IEEE Computer Society, 2010.
4Chiong R, Dhakal S. On the Insecurity of Personal Firewall[J]. Information Technology, 2008, (8): 1-10.
5Russinovich M E, Solomon D A. Microsoft Windows Internals, Fourth Edition: Microsoft Windows Server 2003, Windows XP, and Windows 2000[M]. Redmond, USA: Microsoft Press, 2004.
