Security Analysis of Smart Grids

Algorithm 1

Attack scenario generator.

	Input: State, pre-conditions, post-conditions;
	Output: Attack scenario;
	Start program;
	While(State)Equal(Scenario Property)do
	if((State)Less Than Or Equal To(Pre-Conditions))then
	Add(Post-Conditions)to(State);
	Store(Attack’s Name And Sub System)to(Attacks);
	else
	The system cannot be compromised
	end
	Generate Attack Scenario;