Text B Internet Vulnerabilities