Quick Answer
The answer is semiformal design and test. This is the required component for Common Criteria EAL4 because the evaluation assurance level mandates that both the security functional specification and the high-level design be expressed in a semiformal style, with testing explicitly derived from that semiformal design. Unlike EAL5 through EAL7, which demand fully formal methods, EAL4 strikes a balance by requiring rigorous, structured documentation without the mathematical formalism. On the CISSP exam, this concept often appears in questions contrasting assurance levels, testing your ability to distinguish between semiformal and formal requirements. A common trap is confusing EAL4’s semiformal design with the formal verification needed at higher levels. Remember the memory tip: “EAL4 is semiformal, not formal—four is before five, so no formal dive.”
This CISSP practice question tests your understanding of security architecture and engineering. Read the scenario carefully and evaluate each option against the stated constraints before committing to an answer. After answering, compare your reasoning against the explanation and wrong-answer breakdown below. Once you have made your selection, read the full explanation to reinforce the concept and understand why each distractor is designed to mislead on exam day.
A system is designed to meet the Common Criteria EAL4 evaluation. Which of the following is a required component for this level?
Formal model of security policy
Why wrong: Formal model is required at EAL5 and above.
Semiformal design and test
Correct. EAL4 requires semiformal methods.
Formal specifications and verification
Why wrong: Formal verification is required at EAL6-7.
Informal security policy model
Why wrong: Informal model is used at lower EALs (1-3).
Answer choices
Answer the question above first, then reveal the full breakdown to understand why each option is right or wrong.
Correct answer & explanation
Semiformal design and test
EAL4 (Evaluation Assurance Level 4) under the Common Criteria requires 'semiformal design and test' as part of its assurance requirements. This level mandates that the security functional specification and the high-level design be expressed in a semiformal style, and that testing be based on this semiformal design. It does not require formal methods, which are reserved for higher EALs (EAL5–EAL7).
Key principle: Answer the scenario, not the keyword: identify the specific constraint before choosing the most familiar-sounding option.
Answer analysis
For each option: why learners choose it and why it is or isn't the right answer here.
Formal model of security policy
Why it's wrong here
Formal model is required at EAL5 and above.
Semiformal design and test
Why this is correct
Correct. EAL4 requires semiformal methods.
Related concept
Read the scenario before looking for a memorised answer.
Formal specifications and verification
Why it's wrong here
Formal verification is required at EAL6-7.
Informal security policy model
Why it's wrong here
Informal model is used at lower EALs (1-3).
Common exam traps
The trap here is that candidates often confuse EAL4 with EAL5 or EAL6, mistakenly thinking that 'semiformal' means 'formal,' or they incorrectly associate informal models with EAL4 when in fact EAL4 requires semiformal artifacts.
Detailed technical explanation
Under the Common Criteria, EAL4 is often referred to as 'methodically designed, tested, and reviewed.' It requires a semiformal security functional specification (SFS) and a semiformal high-level design (HLD), typically using structured notations like UML or state transition diagrams. Testing at EAL4 must demonstrate that the TOE (Target of Evaluation) behaves as specified in the semiformal design, including coverage analysis and depth of testing that goes beyond functional testing to include some structural testing.
Key takeaway
Answer the scenario, not the keyword: identify the specific constraint before choosing the most familiar-sounding option.
Real-world example
A security analyst at a medium-sized enterprise encounters this scenario during an investigation or architecture review. The correct answer reflects best practice for the specific threat or control described. Answer the scenario, not the keyword: identify the specific constraint before choosing the most familiar-sounding option. Security exam questions test whether you can match controls to threats in context — not just recall definitions.
What to study next
Identify which exam domain this question belongs to, review the core concept, then practise similar questions from the same domain.
Security Architecture and Engineering — study guide chapter
Learn the concepts, then practise the questions
Security Architecture and Engineering practice questions
Targeted practice on this topic area only
All CISSP questions
529 questions across all exam domains
Certified Information Systems Security Professional CISSP study guide
Full concept coverage aligned to exam objectives
CISSP practice test guide
How to use practice tests most effectively before exam day
Related practice questions
Use these pages to review the topic behind this question. This is how one missed question becomes focused revision.
Practise CISSP questions linked to Software Development Security.
Practise CISSP questions linked to Security Assessment and Testing.
Practise CISSP questions linked to Identity and Access Management.
Practise CISSP questions linked to Security and Risk Management.
Practise CISSP questions linked to Security Architecture and Engineering.
Practise CISSP questions linked to Communication and Network Security.
Practise CISSP questions linked to Asset Security.
Practise CISSP questions linked to Security Operations.
Practise CISSP questions linked to CISSP fundamentals.
Practise CISSP questions linked to CISSP scenario.
Practise CISSP questions linked to CISSP troubleshooting.
Practice this exam
Short sessions build daily habit. Longer sessions build exam-day stamina. Try a timed session to simulate real conditions.
FAQ
Security Architecture and Engineering — This question tests Security Architecture and Engineering — Read the scenario before looking for a memorised answer..
The correct answer is: Semiformal design and test — EAL4 (Evaluation Assurance Level 4) under the Common Criteria requires 'semiformal design and test' as part of its assurance requirements. This level mandates that the security functional specification and the high-level design be expressed in a semiformal style, and that testing be based on this semiformal design. It does not require formal methods, which are reserved for higher EALs (EAL5–EAL7).
Identify which exam domain this question belongs to, review the core concept, then practise similar questions from the same domain.
Read the scenario before looking for a memorised answer.
About these practice questions
Courseiva creates original exam-style practice questions with explanations and wrong-answer analysis. It does not publish real exam questions, exam dumps, or protected exam content. Learn why practice questions differ from exam dumps →
Last reviewed: Jun 24, 2026
This CISSP practice question is part of Courseiva's free ISC2 certification practice question bank. Courseiva provides original exam-style practice questions with explanations, topic-based practice, mock exams, readiness tracking, and study analytics to help learners prepare for the CISSP exam.
Question Discussion
Share a tip, memory trick, or ask about the reasoning behind this question. Do not post real exam questions, leaked content, braindumps, or copyrighted exam material. Comments are moderated and may be removed without notice.
Sign in to join the discussion.