<article>
<articleinfo>
<title>Independent Verification of IPSec Functionality in FreeBSD</title>
<title>Independent Verification of IPsec Functionality in FreeBSD</title>
<author>
<firstname>David</firstname>