Generating attacks in SysML activity diagrams by detecting attack surfaces-Reference-Cited by-同舟云学术

Generating attacks in SysML activity diagrams by detecting attack surfaces

Published:2015-03-18 Issue:3 Volume:6 Page:361-373
ISSN:1868-5137
Container-title:Journal of Ambient Intelligence and Humanized Computing
language:en
Short-container-title:J Ambient Intell Human Comput

Author:

Ouchani Samir,Lenzini Gabriele

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s12652-015-0269-8.pdf

Reference29 articles.

1. Abrams MD (1998) Nims information security threat methodology. In: Mitre Technical Report MTR 98 W000009, MITRE, Center for Advanced Aviation System Development. McLean, Virgini

2. Bella G, Giustolisi R, Lenzini G (2013) A socio-technical understanding of TLS cerficate validation. In: Proceedings of 7th IFIP international conference on trust management (IFIPTM2013). Malaga. IFIP

3. Checkoway S, McCoy D, Kantor B, Anderson D, Shacham H, Savage S, Koscher K, Czeskis A, Roesner F, Kohno T (2011) Comprehensive experimental analyses of automotive attack surfaces. In: Proceedings of the 20th USENIX Conference on Security (SEC 11). USENIX Association, pp 6–6

4. Clarke EM, Emerson EA, Sistla AP (1983) Automated verification of finite state concurrent systems using temporal logic specifications: a practical approach. In: Proceedings of POPL, pp 117–126

5. Clarke EM, Klieber W, Novacek M, Zuliani P (2012) Model checking and the state explosion problem. In: Meyer B, Nordio M (eds) Tools for practical software verification. Lecture notes in computer science. Springer, Berlin

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

1. An analytical survey of cyber‐physical systems in water treatment and distribution: Security challenges, intrusion detection, and future directions;SECURITY AND PRIVACY;2024-07-04

2. A Collaborative Real-Time Object Detection and Data Association Framework for Autonomous Robots Using Federated Graph Neural Network;Lecture Notes in Computer Science;2024

3. Securing Autonomous Vehicles: Fundamentals, Challenges, and Perspectives;Lecture Notes in Computer Science;2024

4. Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A Survey;Proceedings of the 7th International Conference on Future Networks and Distributed Systems;2023-12-21

5. A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14