Formalizing security models provide system designers and security engineers with evidence that they are constructing a consistent system that will meet the specifications as implemented. While it would be difficult to ...

In this paper, we propose an aspect-oriented language, called SHL (Security Hardening Language), for specifying systematically the security hardening solutions. This language constitutes our new achievement towards developing ...

Insider attacks in which misbehaving Virtual Machines (VMs) take part of the cloud system and learn about its internal vulnerabilities constitute a major threat against cloud resources and infrastructure. This demands ...

With the increased need for mobility and the overcrowding of cities, the area of Intelligent Transportation aims at improving the efficiency, safety, and productivity of transportation systems by relying on communication ...

Although mobile devices have been considerably upgraded to more powerful terminals, yet their lightness feature still impose intrinsic limitations in their computation capability, storage capacity and battery lifetime. ...

Azo compounds have been widely used in dye and pharmaceutical industries and are thus present in the waste water. Therefore treatment of water containing azo pollutants becomes a great necessity. In the present work, we ...