Vulnerabilities in HP TippingPoint Security Management System 4.2