Now showing items 1-1 of 1

    • Assume-Guarantee Reasoning Using a Cyber Security Ontology 

      Alfageeh, Ali Abdurhman (2019-05)
      Design of a network is a challenging problem as it involves the integration of several complex components such as routers, servers, computers, smart devices. This is further complicated by the need to have robust security ...