Mohamed Hilia - Academia.edu (original) (raw)

Mohamed Hilia

Related Authors

Bushra Sabir

Bushra Sabir

National University of Sciences & Technology (NUST)

Taher Al-Shehari

Iffat Gheyas

Mehreen Afzal

Waseem Iqbal

Tonino Palmisano

Sitalakshmi Venkatraman

Uploads

Papers by Mohamed Hilia

Research paper thumbnail of Design of an Ensemble Learning Behavior Anomaly Detection Framework

Data assets protection is a crucial issue in the<br> cybersecurity field. Companies use log... more Data assets protection is a crucial issue in the<br> cybersecurity field. Companies use logical access control tools to<br> vault their information assets and protect them against external<br> threats, but they lack solutions to counter insider threats. Nowadays,<br> insider threats are the most significant concern of security analysts.<br> They are mainly individuals with legitimate access to companies<br> information systems, which use their rights with malicious intents.<br> In several fields, behavior anomaly detection is the method used by<br> cyber specialists to counter the threats of user malicious activities<br> effectively. In this paper, we present the step toward the construction<br> of a user and entity behavior analysis framework by proposing a<br> behavior anomaly detection model. This model combines machine<br> learning classification techniques and graph-based methods, relying<br> on linea...

Research paper thumbnail of Formal Specification and Verification For Ubiquitous Robotic Services Composition

Research paper thumbnail of Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment

Lecture Notes in Computer Science, 2016

Research paper thumbnail of A Knowledge Oriented Approach for Composing Ambient Intelligence Services

Procedia Computer Science

Research paper thumbnail of Semantic Based Authorization Framework For Multi-Domain Collaborative Cloud Environments

Procedia Computer Science

Research paper thumbnail of Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

Procedia Computer Science, 2013

Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentia... more Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentially with healthcare related applications such as assistance to the elderly and handicapped persons, emergency services. Several approaches and techniques have been proposed, providing formal languages modeled with ontologies (e.g. OWLS , WSMO) that describe in semantic way the environment. In this paper, relevant challenges of the current AAL application development, with a focus on the formal specification and verification are discussed. A formal system which enable to specify a semantic model represented by an upper ontology is presented. The innovative aspect of the proposed model concerns the use of a constructive description logic.

Research paper thumbnail of Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

Procedia Computer Science, 2013

Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentia... more Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentially with healthcare related applications such as assistance to the elderly and handicapped persons, emergency services. Several approaches and techniques have been proposed, providing formal languages modeled with ontologies (e.g. OWLS , WSMO) that describe in semantic way the environment. In this paper, relevant challenges of the current AAL application development, with a focus on the formal specification and verification are discussed. A formal system which enable to specify a semantic model represented by an upper ontology is presented. The innovative aspect of the proposed model concerns the use of a constructive description logic.

Research paper thumbnail of Design of an Ensemble Learning Behavior Anomaly Detection Framework

Data assets protection is a crucial issue in the<br> cybersecurity field. Companies use log... more Data assets protection is a crucial issue in the<br> cybersecurity field. Companies use logical access control tools to<br> vault their information assets and protect them against external<br> threats, but they lack solutions to counter insider threats. Nowadays,<br> insider threats are the most significant concern of security analysts.<br> They are mainly individuals with legitimate access to companies<br> information systems, which use their rights with malicious intents.<br> In several fields, behavior anomaly detection is the method used by<br> cyber specialists to counter the threats of user malicious activities<br> effectively. In this paper, we present the step toward the construction<br> of a user and entity behavior analysis framework by proposing a<br> behavior anomaly detection model. This model combines machine<br> learning classification techniques and graph-based methods, relying<br> on linea...

Research paper thumbnail of Formal Specification and Verification For Ubiquitous Robotic Services Composition

Research paper thumbnail of Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment

Lecture Notes in Computer Science, 2016

Research paper thumbnail of A Knowledge Oriented Approach for Composing Ambient Intelligence Services

Procedia Computer Science

Research paper thumbnail of Semantic Based Authorization Framework For Multi-Domain Collaborative Cloud Environments

Procedia Computer Science

Research paper thumbnail of Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

Procedia Computer Science, 2013

Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentia... more Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentially with healthcare related applications such as assistance to the elderly and handicapped persons, emergency services. Several approaches and techniques have been proposed, providing formal languages modeled with ontologies (e.g. OWLS , WSMO) that describe in semantic way the environment. In this paper, relevant challenges of the current AAL application development, with a focus on the formal specification and verification are discussed. A formal system which enable to specify a semantic model represented by an upper ontology is presented. The innovative aspect of the proposed model concerns the use of a constructive description logic.

Research paper thumbnail of Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

Procedia Computer Science, 2013

Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentia... more Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentially with healthcare related applications such as assistance to the elderly and handicapped persons, emergency services. Several approaches and techniques have been proposed, providing formal languages modeled with ontologies (e.g. OWLS , WSMO) that describe in semantic way the environment. In this paper, relevant challenges of the current AAL application development, with a focus on the formal specification and verification are discussed. A formal system which enable to specify a semantic model represented by an upper ontology is presented. The innovative aspect of the proposed model concerns the use of a constructive description logic.

Log In