欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PacketFence is a fully supported, trusted, Free and Open Source network access control (NAC) system. integration with the Snort IDS and the Nessus vulnerability scanner.
