Modeling control system failures and attacks the waterloo campaign to oil pipelines

Abstract

This paper presents a model for expressing control system failures and attacks on control protocols that involve the exchange of messages. Control failures and attacks are modeled using the notion of an attacker who can block and/or fabricate messages. These two attack mechanisms can cover a variety of scenarios ranging from control failures in the Waterloo Campaign to cyber attacks on oil pipelines. The model helps provide a comprehensive understanding of control system failures and attacks, which supports the development of strategies for attack as well as defense.

Original document

The different versions of the original document can be found in:

• https://link.springer.com/content/pdf/10.1007%2F978-3-642-16806-2_4.pdf

• http://link.springer.com/content/pdf/10.1007/978-3-642-16806-2_4.pdf,

http://dx.doi.org/10.1007/978-3-642-16806-2_4

• https://link.springer.com/chapter/10.1007%2F978-3-642-16806-2_4,

https://rd.springer.com/chapter/10.1007/978-3-642-16806-2_4,

https://www.scipedia.com/public/Butts_et_al_2010a,

https://dblp.uni-trier.de/db/conf/ifip11-10/iccip2010.html#ButtsRS10,

https://academic.microsoft.com/#/detail/1589909058