Blar i NTNU Open på forfatter "Nweke, Livinus Obiora"
-
Using Formal Methods for Modelling Cyber-Physical Systems Security
Nweke, Livinus Obiora (Doctoral theses at NTNU;2022:169, Doctoral thesis, 2022)The recent years have witnessed an increasing integration of physical systems with information and communication technology (ICT). This emerging field is usually referred to as cyber-physical systems (CPS) and has generated ... -
Vulnerability Discovery Modelling With Vulnerability Severity
Ankur, Shukla; Katt, Basel; Nweke, Livinus Obiora (Peer reviewed; Journal article, 2019)Web browsers are primary targets of attacks because of their extensive uses and the fact that they interact with sensitive data. Vulnerabilities present in a web browser can pose serious risk to millions of users. Thus, ...