Chapter 4 — Security architecture and engineering: competing explanations
Lesson map
Lesson 04 published. Map, example, EX021.
flowchart TD
N0["Learning outcomes"]
N1["4.1 Rivals to the main hypothesis"]
N2["4.2 Checks that separate rivals"]
N3["4.3 Modelling artefacts"]
N4["4.4 What would change the conclusion"]
N5["4.5 Discussing rivals with practitioners"]
N6["Synthesis"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
N6 --> EX["Worked example"]
EX --> Q["Exercise EX021"]
Logical drawing
flowchart LR
N0["Learning outcomes"]
N1["4.1 Rivals to the main hypothesis"]
N2["4.2 Checks that separate rivals"]
N3["4.3 Modelling artefacts"]
N4["4.4 What would change the conclusion"]
N5["4.5 Discussing rivals with practitioners"]
N6["Synthesis"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX021"]
[Learning outcomes]
|
v
[4.1 Rivals to the main hypothesis]
|
v
[4.2 Checks that separate rivals]
|
v
[4.3 Modelling artefacts]
|
v
[4.4 What would change the conclusion]
|
v
[4.5 Discussing rivals with practitioners]
|
v
[Synthesis]
|
v
[Worked example] --> [Exercise EX021]
Learning outcomes
You will (1) list rival explanations for an expected result; (2) design checks that distinguish them; (3) recognise artefacts of modelling choices; (4) decide in advance what would change your conclusion.
4.1 Rivals to the main hypothesis
Kenji expects identity-based micro-segmentation to reduce reach. Before testing, he lists rivals that could produce the same pattern. First, the difference might come from the number of allowed edges alone, not from identity: any policy with fewer edges would look better. Second, it might depend on network size, appearing only in small networks. Third, it might be an artefact of how he generated identity rules, giving each workstation exactly one server. Fourth, results could hinge on jump hosts, which the lab in chapter 3 showed can erase the benefit. Each rival predicts something different that he can check.
4.2 Checks that separate rivals
For the edge-count rival, Kenji adds a control policy: random edges removed from the flat network until it has the same number of edges as the identity policy. If identity still beats this random control, structure matters, not just edge count. For the size rival, he generates networks at three sizes. For the generation artefact, he varies how many servers each identity may reach, from one to four. For jump hosts, he varies their rule breadth. Each check is a small experiment written into the plan before the main runs, so the dissertation can report which rivals survived.
4.3 Modelling artefacts
Simulation results can reflect modelling choices rather than reality. Kenji's model treats every host as equally exploitable, ignores time and assumes policies are enforced perfectly. If real enforcement points are misconfigured a fraction of the time, identity policies with many fine rules may leak more than zone policies with few broad ones. He adds a misconfiguration parameter that randomly adds a small share of unintended edges. This connects back to the economy-of-mechanism concern from the seminar: complex rule sets offer more chances for error, and the model should be able to show that trade-off rather than assume it away.
4.4 What would change the conclusion
Kenji writes down, before seeing results, what would make him conclude that identity-based segmentation does not offer a meaningful advantage: if its mean reach is within one server of the random-edge control, or if a misconfiguration rate of two per cent erases most of the difference. Writing these thresholds in advance protects him from moving the goalposts after seeing the data. Dr Aydın notes that most master's dissertations never state such conditions, and that doing so is one of the clearest signs of research maturity an examiner can see.
4.5 Discussing rivals with practitioners
Kenji presents his rival list to two Vantor network engineers. They add a rival he had missed: in practice, identity-based rules are often written by copying templates, so many workstations end up with the same broad access, reducing the benefit. He adds a template parameter that makes a share of workstations inherit a broad rule set. Practitioners know failure modes that literature rarely records, and asking them early improves the model's realism. He acknowledges their contribution in the dissertation without naming them, as agreed.
Worked example
Kenji lists five rivals, adds a random-edge control, size and generation variations, a misconfiguration rate and a template-copy parameter, and writes thresholds that would overturn his expectation.
Synthetic case. Rivals, thresholds and engineer input are synthetic.
Errors and limits
No list of rivals is complete. Parameters added to model reality can multiply runs and tempt selective reporting.
Exercises
- EX021 — Edge-count rival. What does the random-edge control test? Rubric: 3 = whether identity's advantage comes from structure or just fewer edges;; 2 = structure;; 1 = vague;; 0 = none.
- EX022 — Generation artefact. How does Kenji test the identity-rule generation artefact? Rubric: 3 = varies how many servers each identity may reach from one to four;; 2 = varies;; 1 = ignores;; 0 = none.
- EX023 — Misconfiguration parameter. Why add a misconfiguration rate to the model? Rubric: 3 = real enforcement errs, and complex rule sets offer more chances for error;; 2 = errors;; 1 = not needed;; 0 = none.
- EX024 — Overturn thresholds. State one pre-set condition that would overturn Kenji's expectation. Rubric: 3 = identity within one server of random control, or two per cent misconfiguration erasing most of the gain;; 2 = one;; 1 = vague;; 0 = none.
- EX025 — Practitioner rival. Which rival did the engineers add? Rubric: 3 = template copying gives many workstations the same broad access;; 2 = template;; 1 = vague;; 0 = none.
- EX026 — Maturity sign. What does Dr Aydın call a clear sign of research maturity? Rubric: 3 = stating in advance what would change the conclusion;; 2 = advance conditions;; 1 = long thesis;; 0 = none.
Synthesis
Listing rivals, testing each with a designed check and fixing overturn conditions in advance turns an expected result into a tested one.
Continue studying — chapter 04 of 08
← Chapter 03 (draft) · Course chapter index · Chapter 05 (draft) →