( en | de | ru )

 

Disambiguation of "Jarraya, Yosr"

Author of the publication

copydeleteadd this publication to your clipboard
NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack.

, , , , , , , and . CloudCom, page 33-40. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yosr Elkhanialy

 

Other publications of authors with the same name

ProSPEC: Proactive Security Policy Enforcement for Containers., , , , , , and . CODASPY, page 155-166. ACM, (2022)MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV)., , , , and . ESORICS (3), volume 13556 of Lecture Notes in Computer Science, page 466-489. Springer, (2022)Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols., , , and . J. Softw., 7 (7): 1488-1495 (2012)Multi-Level Proactive Security Auditing for Clouds., , , , , , , and . DSC, page 1-8. IEEE, (2019)A Unified Approach for Verification and Validation of Systems and Software Engineering Models., , , , and . ECBS, page 409-418. IEEE Computer Society, (2006)Cloud calculus: Security verification in elastic cloud computing platform., , , , and . CTS, page 447-454. IEEE, (2012)Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement., , , , , , , and . ESORICS (2), volume 11736 of Lecture Notes in Computer Science, page 239-262. Springer, (2019)Security Compliance Auditing of Identity and Access Management in the Cloud: Application to OpenStack., , , , , , and . CloudCom, page 58-65. IEEE Computer Society, (2015)Model-based systems security quantification., , and . PST, page 142-149. IEEE, (2011)ProSAS: Proactive Security Auditing System for Clouds., , , , , , , and . IEEE Trans. Dependable Secur. Comput., 19 (4): 2517-2534 (2022)