SysML-Sec Attack Graphs: Compact Representations for Complex Attacks-Reference-Cited by-同舟云学术

SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

Published:2016 Issue: Volume: Page:35-49
ISSN:0302-9743
Container-title:Graphical Models for Security
language:
Short-container-title:

Author:

Apvrille Ludovic,Roudier Yves

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-29968-6_3

Reference16 articles.

1. Apvrille, L.: TTool website (2013). http://ttool.telecom-paristech.fr/

2. Apvrille, L., Roudier, Y.: SysML-sec: a sysML environment for the design and development of secure embedded systems. In: APCOSEC , Asia-Pacific Council on Systems Engineering, 8–11 September 2013, Yokohama, Japan. Yokohama, JAPAN (09 2013) (2013). http://www.eurecom.fr/publication/4186

3. Lecture Notes in Computer Science;JE Bengtsson,2004

4. Blanchet, B.: Automatic verification of correspondences for security protocols. J. Comput. Secur. 17(4), 363–434 (2009)

5. Dacier, M., Deswarte, Y., Kaâniche, M.: Information systems security, pp. 177–186. Chapman & Hall Ltd, London, UK (1996). http://dl.acm.org/citation.cfm?id=265514.265530

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

1. A Model-based Approach for Assessing the Security of Cyber-Physical Systems;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30

2. Model‐driven architecture based security analysis;Systems Engineering;2021-05-21

3. A systematic literature review of model-driven security engineering for cyber–physical systems;Journal of Systems and Software;2020-11

4. Identifying Attack Surfaces in the Evolving Space Industry Using Reference Architectures;2020 IEEE Aerospace Conference;2020-03

5. Modeling Data Protection Vulnerabilities of Cloud Systems Using Risk Patterns;System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering;2018