It's called GovCloud. AWS has obtained FISMA certification for use as a government provider. AFAIK, the CIA uses a hybrid setup with the government hosting ver

It's called GovCloud. AWS has obtained FISMA certification for use as a government provider. AFAIK, the CIA uses a hybrid setup with the government hosting very large data centers of their own for data and AWS being used to build front-ends that access that data. It's important to consider the sheer scale of government resources. They run at least one of their own private cloud providers. They're just not accessible to the 'outside' world.