Towards enhanced threat modelling and analysis using a Markov Decision Process
Saif Ur Rehman Malik, Adeel Anjum, Syed Atif Moqurrab, Gautam Srivastava
Topics & Concepts
Computer scienceProbabilistic logicModel checkingFault tree analysisMarkov decision processScalabilitySecurity analysisDecision treeReliability (semiconductor)Process (computing)Probabilistic CTLDecision tree modelTree (set theory)Probabilistic analysis of algorithmsComputer securityTheoretical computer scienceMarkov processData miningArtificial intelligenceReliability engineeringEngineeringPower (physics)StatisticsDatabaseQuantum mechanicsOperating systemMathematical analysisPhysicsMathematicsInformation and Cyber SecurityAdvanced Malware Detection TechniquesNetwork Security and Intrusion Detection