A Hybrid Attack Graph Analysis Method based on Model Checking

Autor:	Yaogang Ge, Xiaomeng Shen, Bingfeng Xu, Gaofeng He
Rok vydání:	2022
Zdroj:	2022 Tenth International Conference on Advanced Cloud and Big Data (CBD).
DOI:	10.1109/cbd58033.2022.00053
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d12b1d6a4c8caca3b80458b0bd0937e6 https://doi.org/10.1109/cbd58033.2022.00053 Zobrazit plný text záznamu