A Formal Adversary Capability Model for SCADA Environments-Reference-Cited by-同舟云学术

A Formal Adversary Capability Model for SCADA Environments

Published:2011 Issue: Volume: Page:93-103
ISSN:0302-9743
Container-title:Critical Information Infrastructures Security
language:
Short-container-title:

Author:

McEvoy Thomas Richard,Wolthusen Stephen D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21694-7_8

Reference13 articles.

1. Lecture Notes in Computer Science;W. Mao,2004

2. Basin, D., Cremers, C.: From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. Cryptology ePrint Archive, Report 2009/079 (2009), http://eprint.iacr.org/

3. Bergstra, J.A., Middleburg, C.A.: Process Algebra for Hybrid Systems. Theor. Comput. Sci. 335(2-3), 215–280 (2005)

4. Cardenas, A.A., Roosta, T., Sastry, S.: Rethinking Security Properties, Threat Models, and the Design Space in Sensor Networks: A Case Study in Scada Systems. Ad Hoc Netw. 7(8), 1434–1447 (2009)

5. Dawson, R., Boyd, C., Dawson, E., Nieto, J.M.G.: SKMA: A Key Management Architecture for SCADA Systems. In: ACSW Frontiers 2006: Proceedings of the 2006 Australasian Workshops on Grid Computing and e-Research, pp. 183–192. Australian Computer Society, Inc., Darlinghurst (2006)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Attacker Models and Profiles for Cyber-Physical Systems;Computer Security – ESORICS 2016;2016

2. Algebraic Analysis of Attack Impacts and Countermeasures in Critical Infrastructures;Critical Information Infrastructures Security;2013

3. Defeating Node Based Attacks on SCADA Systems Using Probabilistic Packet Observation;Lecture Notes in Computer Science;2013

4. Modelling Approaches;Critical Infrastructure Protection;2012