BE/BTech & ME/MTech Final Year Projects for Computer Science | Information Technology | ECE Engineer | IEEE Projects Topics, PHD Projects Reports, Ideas and Download | Sai Info Solution | Nashik |Pune |Mumbai
director@saiinfo settings_phone02536644344 settings_phone02048614848 settings_phone+919270574718 +919096813348 settings_phone+919028924212
logo


SAI INFO SOLUTION


Diploma | BE |B.Tech |ME | M.Tech |PHD

Project Development and Training

Search Project by Domainwise


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


Privacy-Assured Outsourcing of
Abstract


The Internet of Things (IoT) is being deployed for a plethora of use-case scenarios. In any deployment, a number of conguration choices are available that achieve the mission goal. However, IoT security incidents have demonstrated that different congurations are vulnerable to varied risk levels. We propose the IoTRiskAnalyzer framework to formally and quantitatively analyze these risks using probabilistic model checking. IoTRiskAnalyzer takes vulnerability scores, candidate IoT congurations, and attacker's capabilities as inputs. It then generates the system and threat models to compute attack likelihood and attacker cost for each conguration. Evaluation indicates that IoTRiskAnalyzer is efcient and automatically prioritizes the input congurations on the basis of risk exposure

KeyWords
IoT risk analytic, formal risk modeling, probabilistic model checking, Markov decision process, threat assessment, secure conguration planning, PRISM model checker.



Share
Share via WhatsApp
BE/BTech & ME/MTech Final Year Projects for Computer Science | Information Technology | ECE Engineer | IEEE Projects Topics, PHD Projects Reports, Ideas and Download | Sai Info Solution | Nashik |Pune |Mumbai
Call us : 09096813348 / 02536644344
Mail ID : developer.saiinfo@gmail.com
Skype ID : saiinfosolutionnashik