• No results found

Deception Attacks on the State Estimator

N/A
N/A
Protected

Academic year: 2021

Share "Deception Attacks on the State Estimator"

Copied!
24
0
0

Loading.... (view fulltext now)

Full text

(1)

Cyber-Security Analysis of Electric Power Systems:

Deception Attacks on the State Estimator

Andr´e Teixeira, Gy¨orgy D´an, Henrik Sandberg, Karl H. Johansson

ACCESS Linnaeus Centre, KTH Royal Institute of Technology

IFAC World Congress 2011 September 1st, 2011

(2)

The story of Bob, the System Operator...

... and Mallory, a malicious hacker

Andr´e Teixeira, Gy¨orgy D´an, Henrik Sandberg, Karl H. Johansson

ACCESS Linnaeus Centre, KTH Royal Institute of Technology

IFAC World Congress 2011 September 1st, 2011

(3)

Outline

1 Bob and Mallory

Meet Bob Meet Mallory Bob vs Mallory

2 Modeling Bob and Mallory

Bob’s model knowledge Mallory’s model knowledge Modeling Mallory’s attacks Summary of Bob and Mallory

3 Experimental Results

Scenario Mallory’s Effort

Mallory’s Achievements

4 Reporting to Bob

(4)

Outline

1 Bob and Mallory

Meet Bob Meet Mallory Bob vs Mallory

2 Modeling Bob and Mallory Bob’s model knowledge Mallory’s model knowledge Modeling Mallory’s attacks Summary of Bob and Mallory

3 Experimental Results

Scenario Mallory’s Effort

(5)

Meet Bob

Bob - The System Operator

Has many years of experience! Is the core of the higher control layer

Operates the Grid using a SCADA/EMS system that provides

I the full detailed model of the Grid

I large amount of measurement data

I filtering of measurement data (State Estimator)

I pre and post-filtering outlier detection

I highly customized software components

(6)

Meet Bob

Bob’s Objectives

This was a bad day for Bob... (US-Canada 2003 Blackout)

Ensure the Grid’s safe operation Avoid major disruptions

Meet load demand Minimize operation costs

(7)

Meet Mallory

Mallory - a malicious hacker

Has great IT and hacking skills Has ”some” knowledge about the system model

Is able to inject false data in a few measuring devices

(8)

Meet Mallory

Mallory’s Objectives

Will Bob have another bad day?

Make Bob have a ”bad day” by either:

I Disrupting the Grid’s operation

I Increasing the operation costs

I Making money from perturbing the Grid’s operation

Perform the attacks while remaining undetected

(9)

Bob vs Mallory

Deception Attacks on the SE

Bob wants to know

I if his system is vulnerable to Mallory

I if adding more measurements would help decrease vulnerabilities

I where to deploy protection devices to eliminate vulnerabilities So he hired us to analyze the situation!

(10)

Outline

1 Bob and Mallory Meet Bob Meet Mallory Bob vs Mallory

2 Modeling Bob and Mallory

Bob’s model knowledge Mallory’s model knowledge Modeling Mallory’s attacks Summary of Bob and Mallory

3 Experimental Results

Scenario Mallory’s Effort

(11)

Modeling Bob and Mallory

Bob’s model

Detailed Steady-State Model: z = h(x ) + 

measurements: z ∈ Rm

state: x = [θ>V>]> ∈ Rn

noise: ∼ N (0, R).

For simplicity, assume R = I .

∼ ∼

1 2 3

4 5 6

Consider θij = θi− θj.

Power injection measurement model

Pi = ViPj ∈Ni Vj(Gijcos(θij) + Bijsin(θij))

Qi = ViPj ∈Ni Vj(Gijsin(θij)− Bijcos(θij)) , Power flow measurement model

Pij = Vi2(gsi + gij)− ViVj(gijcos(θij) + bijsin(θij))

Qij = −Vi2(bsi + bij)− ViVj(gijsin(θij)− bijcos(θij))

, Ex.: P14= V12(gs1+ g14)− V1V4(g14cos(θ1− θ4) + b14sin(θ1− θ4))

(12)

Modeling Bob and Mallory

Bob’s SE and BDD Nonlinear Least-Squares: ˆ x = arg min x ∈Rnr (x ) > r (x ),

where r (x ) = z− h(x) is the measurement residual

I r (ˆx )≈ S, S = S>= S2 I J(ˆx ) = r (ˆx )>r (ˆx )

BDD - Performance index test: J(ˆx ) = >S ∼ χ2

m−n:

No bad data ifkrk2≤ τχ(α)

I α∈ [0, 1] is the desired false alarm rate

(13)

Modeling Bob and Mallory

Mallory’s model

Simplified Steady-State Model (DC-Model): z = Hx +  state: x = θ∈ R˜n, ˜n = n−1

2

Assumption: Vi = 1 for all buses

No reactive power flows or injections!

∼ ∼

1 2 3

4 5 6

Power injection measurement model Pi = Pj ∈Nibijθij

Power flow measurement model

Pij = −ViVjbijθij

Ex.: P14=−V1V4b14(θ1− θ4)

(14)

Modeling Bob and Mallory

Mallory’s SE model

Linear Weighted Least-Squares: ˆ x = h H>H i−1 H>z = H†z, I r (ˆx ) = z− Hˆx = (I − HH†)(Hx + ) = S , S = (I − HH†) Mallory corrupting measurements:

za= z + a⇒ ˆxa = H

za = H†(z + a), Mallory’s idea for stealthy attacks:

a∈ Im(H) ⇒ Sa = 0 ⇒ r(ˆx) = r(ˆxa)

(15)

Modeling Bob and Mallory

Modeling Mallory’s stealthy attacks

Mallory’s Goals

I Convergence of the estimator (trivial for the linear model);

I Stealthiness: kWr(ˆxa)

kp< τ ;

I Induce a desired bias on a subset of measurements - ”making Bob have a bad day” Minimum ”Effort” Attack Synthesis min a kakp s.t. a∈ G ∩ U ∩ C I G - set of goals I U - set of stealthy attacks I C - set of constraints

Different metrics for ”effort” I p = 0: cardinality of a (# of

measurements to be corrupted) - not convex, can be solved through MILP

I p = 1: may be used as a convex approximation of p = 0

(16)

Summary of Bob and Mallory

Bob Mallory

Model Detailed Nonlinear Simplified Linear

# Measurements Large Small

Active Power + +

Reactive Power + 0

Pre-SE BDD +

-Post-SE BDD +

(17)

Outline

1 Bob and Mallory Meet Bob Meet Mallory Bob vs Mallory

2 Modeling Bob and Mallory Bob’s model knowledge Mallory’s model knowledge Modeling Mallory’s attacks Summary of Bob and Mallory

3 Experimental Results

Scenario Mallory’s Effort

Mallory’s Achievements

4 Reporting to Bob

(18)

Experimental Results

Bob’s System G G G G G MAPL GRAN CLAR LANS MARC WINL WAUT AMHE CROS BOWM TROY BLOO JUNE MONR

Typical SCADA/EMS software present in control centers is used Virtual grid for training purposes

(19)

Experimental Results

Mallory’s Attack Scenario

G G G G G MAPL GRAN CLAR LANS MARC WINL WAUT AMHE CROS BOWM TROY BLOO JUNE MONR Attacked substations Target measurement

Only linear model of active power flow is known Corrupted measurements are sent to the database

Objective: inject a bias on flow between TROY and BLOO

(20)

Mallory’s Effort

Adding more measurements vs Deploying protection devices

αk = min a kak0 s.t. a∈ Gk ∩ U ∩ C Gk ={a : ak = 1} U = Im(H) C = {a : ai = 0, ∀i ∈ P} (protected measurements) 0 10 20 30 40 50 60 0 5 10 15 20

Target measurement index Security metric

(21)

Experiments

Mallory’s Results Small attacks −20 0 20 40 −20 −10 0 10 20 30 40

Target measurement value (MW)

Estimated value (MW) Attacks on measurement 33 naive stealthy no attack Large attacks

Target bias Estimate #BDD

(MW), a33 (MW), ˆz33a Alarms 0 -14.8 0 50 36.2 0 100 86.7 0 150 137.5 0 200 -

-Stealthily injected 150MW! - that’s around 60% of the transmission line rating - 260MW .

I Perhaps Bob would have a ”bad day” with this...

(22)

Outline

1 Bob and Mallory Meet Bob Meet Mallory Bob vs Mallory

2 Modeling Bob and Mallory Bob’s model knowledge Mallory’s model knowledge Modeling Mallory’s attacks Summary of Bob and Mallory

3 Experimental Results

Scenario Mallory’s Effort

(23)

Reporting to Bob

Mallory has been modeled using a flexible optimization framework that enables the embedding of relevant aspects such as

I encrypted measurements;

I pseudo-measurements;

I finite resources;

I reduced model knowledge.

Mallory’s model has been applied to Bob’s SCADA/EMS software I Bob’s system seems to be vulnerable to Mallory - reasonably sized

biases were injected using linear models;

I Increasing measurement redundancy of Bob’s system does not eliminate all vulnerabilities;

I Bob got an idea of which measurements are more vulnerable to Mallory.

(24)

The End

Thank you!

Questions?

References

Related documents

The researcher used the following quantitative analysis techniques: data obtained from independent variables (quality of software, quality of information and PMIS

Organizational and Multicultural Communication and the M.A. in Public Relations and Advertising. Students in any program can earn a concentration in Latino Media and

or equivalent doctoral degree and are a member of the Graduate Faculty in their own program or discipline and their committee appointment is approved by the Coordinator of

In a recent qualitative interview study that in- formed the current research [ 11 ], we found that sub- optimal diabetes self-management in people with SMI did not appear to

necatrix strain that constitutively induced RNA silencing of the exogenous green fluorescent protein (GFP) gene, and infected it with each of four unrelated mycoviruses, including

representative for children (‘särskild företrädare’, see Chap. 11 for fur- ther information about the special representative), usually a lawyer, who has the right to decide how

In this display, a mix of discrete and analog data is shown with the process related Alarm History and Analog Input Track in the top section, discrete diagnostic information

(See Photo Gallery) One family requested their marker be removed so we remain at 130 total markers. The most recent marker was installed on Hwy 2 near MacGregor Lake. #4 Fall