Ну там уже требования не только к ПО, но и железу и рабочему месту в целом.
И еще - гарантии разработки. То есть не только эксплуатирующая сторона должна защититься, но и разработчик системы должен обеспечить доверенный уровень программирования. Некий аналог нашей старой "военной приемки".