https://1library.net/document/qo5new7y-high-assurance-challenges-for-cloud-based-computing.html