<italic>IoTRiskAnalyzer</italic>: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

<italic>IoTRiskAnalyzer</italic>: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

The Internet of Things (IoT) is being deployed for a plethora of use-case scenarios. In any deployment, a number of configuration choices are available that achieve the mission goal. However, IoT security incidents have demonstrated that different configurations are vulnerable to varied risk levels....

Full description

Bibliographic Details
Main Authors: Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, Zahid Anwar
Format: Article
Language:English
Published: IEEE 2017-01-01
Series:IEEE Access
Subjects:
IoT risk analytic
formal risk modeling
probabilistic model checking
Markov decision process
threat assessment
secure configuration planning
Online Access:https://ieeexplore.ieee.org/document/7906503/

Internet

https://ieeexplore.ieee.org/document/7906503/

Similar Items