Secure operating system

This artical is for Operating Systems which have achieved some credible form of security auditing, such as a B2 or A1 CSC-STD-001-83 "Department of Defense Trusted Computer System Evaluation Criteria," or Common Criteria certification.

For Security focused operating systems which do not necessarily have a certification, but which are aimed at security, see the appropriate article.