A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System-Reference-Cited by-同舟云学术

A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System

Published:2017-12-22 Issue: Volume: Page:63-76
ISSN:0302-9743
Container-title:Computer Security
language:
Short-container-title:

Author:

Sultan Bastien,Dagnat Fabien,Fontaine Caroline

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-72817-9_5

Reference13 articles.

1. Abou El Kalam, A.: Security of critical infrastructures and networks. Habilitation à diriger les recherches, Institut National Polytechnique de Toulouse - INPT, December 2009

2. Lecture Notes in Computer Science;BK Aichernig,2014

3. Berthomieu, B., Bodeveix, J.-P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: Fiacre: an intermediate language for model verification in the Topcased environment. In: ERTS 2008, Toulouse, France, January 2008

4. Brykczynski, B., Small, R.A.: Reducing internet-based intrusions: effective security patch management. IEEE Softw. 20(1), 50–57 (2003)

5. Chang, C.-W., Tsai, D.-R., Tsai, J.-M.: A cross-site patch management model and architecture design for large scale heterogeneous environment. In: 2005 39th Annual 2005 International Carnahan Conference on Security Technology, CCST 2005, pp. 41–46, October 2005

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

1. A Methodical Approach to Exploiting Vulnerabilities and Countermeasures Using AI;Advances in Digital Crime, Forensics, and Cyber Terrorism;2024-09-13

2. W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures;Communications in Computer and Information Science;2023

3. Towards modeling of naval systems interdependencies for cybersecurity;OCEANS 2021: San Diego – Porto;2021-09-20