Using RedSeal to Understand Access to the “Shadow Broker” Firewall Vulnerabilities - RedSeal