Common Criteria for Information Technology Security Evaluation
See http://www.bsi.de/cc/index.htm
Tom Adelstein in Linux in Government: Open Source Innovation within the DoD about common criteria certification process for OpenSSL.