https://en.wikipedia.org/wiki/Next-Generation_Secure_Computing_Base