Cyber Risk Assessment of Networked Cyber Assets using Probabilistic Model Checking
Year
2019
Published In
3rd IEEE Conference on Information & Communication Technology, IIIT Allahabad, December 2019 (CICT 2019)