Quantitative Security Risk Modeling and Analysis with RisQFLan-Reference-Cited by-同舟云学术

Quantitative Security Risk Modeling and Analysis with RisQFLan

Published:2021-10 Issue: Volume:109 Page:102381
ISSN:0167-4048
Container-title:Computers & Security
language:en
Short-container-title:Computers & Security

Author:

ter Beek Maurice H.^ORCID,Legay Axel,Lluch Lafuente Alberto^ORCID,Vandin Andrea^ORCID

Funder

Horizon 2020 Framework Programme

European Commission

Publisher

Elsevier BV

Subject

Law,General Computer Science

Reference72 articles.

1. A survey of statistical model checking;Agha;ACM Trans. Model. Comp. Simul.,2018

2. Amenaza Technologies Limited, 2006. The SecuITree®BurgleHouse Tutorial (a.k.a., Who wants to be a Cat Burglar?). 2.5 edition. https://www.amenaza.com/downloads/docs/Tutorial.pdf.

3. An application of SMC to continuous validation of heterogeneous systems;Arnold;EAI Endorsed Trans. Indust. Netw. & Intellig. Syst.,2017

4. Pareto Efficient Solutions of Attack-Defence Trees;Aslanyan,2015

5. Quantitative Verification and Synthesis of Attack-Defence Scenarios;Aslanyan,2016

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

1. White-box validation of quantitative product lines by statistical model checking and process mining;Journal of Systems and Software;2024-04

2. Conversational Agents in Healthcare: A Variability Perspective;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07

3. Railway Cyber-Security in the Era of Interconnected Systems: A Survey;IEEE Transactions on Intelligent Transportation Systems;2023-07

4. Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement;Business Process Management Workshops;2023

5. Towards enhanced threat modelling and analysis using a Markov Decision Process;Computer Communications;2022-10