Examples of certified trusted operating systems are:
Examples of operating systems that might be certifiable are:
Companies that have created trusted operating systems include:
List of member of the Common Criteria Recognition Arrangement: http://www.commoncriteriaportal.org/ccra/members/ http://www.commoncriteriaportal.org/ccra/members/ ↩
Common Criteria certification report http://www.commoncriteriaportal.org/files/epfiles/0536a_pdf.pdf http://www.commoncriteriaportal.org/files/epfiles/0536a_pdf.pdf ↩
Common Criteria certification report http://www.commoncriteriaportal.org/files/epfiles/st_vid10390-vr.pdf http://www.commoncriteriaportal.org/files/epfiles/st_vid10390-vr.pdf ↩
List of AIX certifications on [1] https://web.archive.org/web/20081204033521/http://www-03.ibm.com/systems/power/software/aix/certifications/index.html ↩
"Australian Signals Directorate". http://www.dsd.gov.au/infosec/epl/index_details.php?product_id=MjE0IyMjMjEzLjIxMy4yNDYuMjE3 ↩
Common Criteria Certification report http://www.commoncriteriaportal.org/files/epfiles/st_vid10293-vr.pdf http://www.commoncriteriaportal.org/files/epfiles/st_vid10293-vr.pdf ↩
FreeBSD statement about support of Common Criteria requirements : "Support". Archived from the original on 2012-03-31. Retrieved 2011-11-19. https://web.archive.org/web/20120331193226/http://www.freebsd.org/doc/en/articles/linux-comparison/freebsd-support.html ↩