Attacking an IPSec Virtual Private Network