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

Sorry, there's nothing here.

Cite this paper

@article{Mohsin2017IoTRiskAnalyzerAP, title={IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things}, author={Mujahid Mohsin and Muhammad Usama Sardar and Osman Hasan and Zahid Anwar}, journal={IEEE Access}, year={2017}, volume={5}, pages={5494-5505} }