Verification is often regarded as a one-time procedure undertaken after a protocol is
specified but before it is implemented. However, in practice, protocols continually evolve …

Small and medium enterprises are depending on the use of IT systems to compete and
participate in the South African economy and also to improve the efficiency of their service …

A novel multi-tenant decentralized information flow control (MT-DIFC) model is introduced in
this research work. In cloud computing, the MT-DIFC allows a larger pool of resources to be …

We propose Dr. Aid, a logic-based AI framework for automated compliance checking of data
governance rules over data-flow graphs. The rules are modelled using a formal language …

Known, but unpatched vulnerabilities represent one of the most concerning threats for
businesses today. The average time-to-patch of zero-day vulnerabilities remains around 100 …

In the field of network security, attackers often utilize Advanced Persistent Threats (APT) to
conduct host-based intrusions for prolonged information gathering, penetration and to cause …

In order to strengthen the cloud system's ability to type control data resources, The
information flow control model can more effectively protect the confidentiality and integrity of …

With cloud computing taking roots, Software as a Service (SaaS) is transforming the future of
Information Technology (IT). SaaS is a modern pervasive software delivery model in the …

Cloud infrastructure increases the strength of service and product based companies by
serving more users with limited infrastructure. Many of researcher are working to improve the …

Cloud computing is Internet-based computing and the next stage in the evolution of the
internet. The uses of the cloud attract different industries in the recent decade, but this brings …