Zobrazeno 1 - 10 of 13 pro vyhledávání: '"Lamia Hamza"'
1
Adaptation to the Context in M-Learning Application Using Mobile Design Patterns
Autor: Lamia Hamza
Publikováno v: International Journal of Interactive Mobile Technologies (iJIM); Vol. 17 No. 06 (2023); pp. 81-97
The fast progress of mobile devices and the popularity of mobile applications in the market requires complex software to be run on mobile devices without issues. Mobile devices are known as handhelds and they have different characteristics such as si
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22415e9f1a86c709dae38366a1638a15
https://doi.org/10.3991/ijim.v17i06.36937
Zobrazit plný text záznamu
7
Automatic security policy enforcement in computer systems
Autor: Lamia Hamza, Kamel Adi, Liviu Pene
Publikováno v: Computers & Security. 73:156-171
This paper proposes a formal framework for automatic security policy enforcement in computer systems. In this approach, systems and their interactions are formally modeled as process algebra expressions with a new dedicated calculus inspired from the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3564f27015a2ad89e46e77afd87ffde7
https://doi.org/10.1016/j.cose.2017.10.012
Zobrazit plný text záznamu
8
Compliance Verification Algorithm for Computer Systems Security Policies
Autor: Liviu Pene, Kamel Adi, Lamia Hamza
Publikováno v: Lecture Notes in Business Information Processing ISBN: 9783319590400
MCETECH
This paper proposes an algebraic formalism and a dedicated logic for computer systems and security policies specifications. A tableau-based proof system is then developed for assessing whether policies are satisfied for a given model of a computer sy
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::05c72bfb10e34e69e8fa99321f6a0dab
https://doi.org/10.1007/978-3-319-59041-7_6
Zobrazit plný text záznamu
9
Intruder Model for Generating Attack Scenarios in Computer Systems
Autor: Lamia Hamza
Publikováno v: International Journal of Information and Computer Security. 11:1
In this paper, a new technique for automatic generation of complex intruder attacks is proposed. In this approach, the generation of attack scenarios is guided by an intruder strategy. Thus, only attack scenarios achieving the intruder objectives are
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c5932c8ea9aca2978c82cc4cc01490d
https://doi.org/10.1504/ijics.2019.10026017
Zobrazit plný text záznamu
10
Neural network and fingerprinting-based localization in dynamic channels
Autor: Chahe Nerguizian, Lamia Hamza
Publikováno v: 2009 IEEE International Symposium on Intelligent Signal Processing.
In a harsh indoor environment, fingerprinting localization techniques perform better than the traditional ones, based on triangulation, because multipath is used as constructive information. However, this is generally true in static conditions as fin
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d2f45caa106fe15b7bfa03fc67597479
https://doi.org/10.1109/wisp.2009.5286554
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje