Vulnerabilities in HP TippingPoint Virtual Security Management System 4.1