• A Systematic Literature Review on Military Software Defined Networks 

      Gkioulos, Vasileios; Gunleifsen, Håkon; Weldehawaryat, Goitom Kahsay (Journal article; Peer reviewed, 2018)
      Software Defined Networking (SDN) is an evolving network architecture paradigm that focuses on the separation of control and data planes. SDN receives increasing attention both from academia and industry, across a multitude ...
    • Adversary Model for Attacks Against IEC 61850 Real-Time Communication Protocols 

      Nweke, Livinus Obiora; Weldehawaryat, Goitom Kahsay; Wolthusen, Stephen (Peer reviewed; Journal article, 2020)
      Adversarial models are well-established for cryptographic protocols, but distributed real-time protocols have requirements that these abstractions are not intended to cover. The IEEE/IEC 61850 standard for communication ...
    • Resilience of Infrastructure Networks Byzantine Consensus, Interdependencies, and Optimisation in Sparse Networks 

      Weldehawaryat, Goitom Kahsay (Doctoral theses at NTNU;2017:80, Doctoral thesis, 2017)
      The growing dependence on critical infrastructure systems demands highly available systems that provide secure, resilient, and efficient services, even in the presence of malicious attacks. This thesis investigates the ...
    • System security assurance: A systematic literature review 

      Shukla, Ankur; Katt, Basel; Nweke, Livinus Obiora; Yeng, Prosper; Weldehawaryat, Goitom Kahsay (Peer reviewed; Journal article, 2022)
      System security assurance provides the confidence that security features, practices, procedures, and architecture of software systems mediate and enforce the security policy and are resilient against security failure and ...
    • Threat Modelling of Cyber-Physical Systems Using an Applied Pi-Calculus 

      Nweke, Livinus Obiora; Weldehawaryat, Goitom Kahsay; Wolthusen, Stephen Dirk Bjørn (Peer reviewed; Journal article, 2021)
      Cyber–Physical Systems (CPS) are distributed systems in which the state of the physical system is generally not observable in non-trivial cases, and where state transitions of this physical system can also occur without ...
    • Towards a Quantitative Approach for Security Assurance Metrics 

      Weldehawaryat, Goitom Kahsay; Katt, Basel (Chapter, 2018)
      The need for effective and efficient evaluation schemes of security assurance is growing in many organizations, especially Small and Medium Enterprises (SMEs). Although there are several approaches and standards for ...