Lamia Hamza

According to our database, Lamia Hamza authored at least 3 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2017

Compliance Verification Algorithm for Computer Systems Security Policies.

Liviu Pene, Lamia Hamza, Kamel Adi

Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

2007

Formal Technique for Discovering Complex Attacks in Computer Systems.

Lamia Hamza, Kamel Adi

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

2006

Automatic generation of attack scenarios for intrusion detection systems.

Lamia Hamza, Kamel Adi, Karim El Guemhioui

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006