Common Criteria Knowledge Base

A practical reference for Common Criteria (ISO/IEC 15408), evaluation assurance levels, Protection Profiles, and the certification scheme landscape.

Articles
25
Categories
4
Standard
ISO/IEC 15408

Contents

  1. Fundamentals (4)
  2. Reference (1)
  3. EAL Levels (7)
  4. Schemes (13)

Fundamentals

  • What is Common Criteria?

    An overview of Common Criteria (ISO/IEC 15408), the international standard for IT security product evaluation and certification.

  • Certification Schemes Overview

    An overview of the major Common Criteria certification schemes worldwide, including BSI, ANSSI, NIAP, and the emerging EUCC.

  • Evaluation Assurance Levels (EAL)

    Reference guide to EAL1 through EAL7 - what each Evaluation Assurance Level requires, what it measures, and how it affects procurement decisions.

  • Protection Profiles (PP)

    What Protection Profiles are, how they work in Common Criteria evaluations, and why they matter for procurement and compliance.

Reference

  • Common Criteria Glossary

    Definitions of Common Criteria (ISO/IEC 15408) terms: EAL, PP, ST, TOE, SFR, SAR, TSF, CCRA, EUCC, SESIP, cPP, and more.

EAL Levels

  • EAL1 — Functionally Tested

    EAL1 is the lowest Common Criteria assurance level: independent confirmation that a product behaves as documented. Suitable when threats are low and trust in the vendor is adequate.

  • EAL2 — Structurally Tested

    EAL2 is the workhorse Common Criteria assurance level: a high-level design review with independent vulnerability analysis, and the CCRA mutual-recognition cap for non-cPP evaluations.

  • EAL3 — Methodically Tested and Checked

    EAL3 extends EAL2 with development environment security controls, systematic life-cycle definition, and deeper test coverage. Less common than EAL2 or EAL4 in practice.

  • EAL4 — Methodically Designed, Tested, and Reviewed

    EAL4 is the highest assurance level generally achievable on commercial products without re-engineering for assurance. Standard for smart cards, HSMs, and many government-used products.

  • EAL5 — Semiformally Designed and Tested

    EAL5 introduces semiformal design notation, full implementation representation, and covert channel analysis. Typical for smart card ICs and high-assurance OS kernels.

  • EAL6 — Semiformally Verified Design and Tested

    EAL6 requires semiformal verification of design correspondence and layered internals, paired with High attack potential vulnerability analysis. Rare, reserved for high-risk TOEs.

  • EAL7 — Formally Verified Design and Tested

    EAL7 is the highest Common Criteria assurance level: formal verification that the TOE design implements the security policy, for TOEs small enough to be amenable to mathematical proof.

Schemes