Skip to main content

Table 12 WADI attacks used to test our invariant checkers

From: Deriving invariant checkers for critical infrastructure using axiomatic design principles

No. Test category Target component(s) Launch state Attack intent and description
10 SAOS Water pipes At time t, 1-LT-001 is at Low or LowLow, 1-MV-005 is open and 1-MV-001 is turned off (Fig. 12) Damage the pipes of WADI by increasing water pressure. At time t++, an attacker manually turns on 1-MV-001
11 SAOS 2-LT-001 At time t, 2-LT-001 is at High or HighHigh, and 2-MV-001 is closed (Fig. 13) Overflow the tank, 2-LT-001. At time t++, an attacker opens 2-MV-001.
12 MAOS 2-LT-002 At time t, 2-LT-002 is at High or HighHigh, 1-P-005 is not turned on, and 2-MV-003 is not opened (Fig. 13) Overflow the tank, 2-LT-002. At time t++, an attacker turns on 1-P-005 and 2-MV-003
13 MAOS 2-LT-002 At time t, 2-LT-002 is at High or HighHigh, 1-P-005 and 1-P-006 are not turned on, and 2-MV-003 is closed (Fig. 13) Overflow the tank, 2-LT-002. At time t++, an attacker turns on 1-P-006 and 2-MV-003