Protecting against cyberattacks Protecting critical infrastructure through high-assurance security and authorization