E-LIB Suche - Ergebnisse für: Hamid, Brahim

1

Rigorous Security Analysis of RabbitMQ Broker with Concurre..:

Baouya, Abdelhakim ; Hamid, Brahim ; Gürgen, Levent.
Internet of Things. 26 (2024) - p. 101161 , 2024

Link: https://doi.org/10.1016/..

2

Formal model-based argument patterns for security cases:

, In: Proceedings of the 28th European Conference on Pattern Languages of Programs,

Zeroual, Marwa ; Hamid, Brahim ; Adedjouma, Morayo. - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

3

Constructing Security Cases Based on Formal Verification of..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Zeroual, Marwa ; Hamid, Brahim ; Adedjouma, Morayo. - p. 15-25 , 2023

Link: https://doi.org/10.1007/..

4

Analyzing Origins of Safety and Security Interactions Using..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Quamara, Megha ; Kolb, Christina ; Hamid, Brahim - p. 176-187 , 2023

Link: https://doi.org/10.1007/..

5

Formalizing the Relationship between Security Policies and ..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Rouland, Quentin ; Hamid, Brahim ; Bodeveix, Jean-Paul. - p. 151-158 , 2023

Link: https://doi.org/10.1109/..

6

Specification and Verification of Communication Paradigms f..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Thierry, Loic ; Jaskolka, Jason ; Hamid, Brahim. - p. 157-166 , 2023

Link: https://doi.org/10.1109/..

7

Software Design Trends Supporting Multiconcern Assurance:

Jaskolka, Jason ; Hamid, Brahim ; Kokaly, Sahar
IEEE Software. 39 (2022) 4 - p. 22-26 , 2022

Link: https://doi.org/10.1109/..

8

Formal Analysis Approach for Multi-layered System Safety an..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2022 Workshops,

Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim - p. 18-31 , 2022

Link: https://doi.org/10.1007/..

9

Facilitating Safety and Security Co-design and Formal Analy..:

, In: 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),

Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

10

Towards logical specification of adversarial examples in ma..:

, In: 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom),

Zeroual, Marwa ; Hamid, Brahim ; Adedjoumaa, Morayo. - p. 1575-1580 , 2022

Link: https://doi.org/10.1109/..

11

Towards the Integration of Human Factors in Collaborative D..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Jaskolka, Jason ; Hamid, Brahim - p. 1-8 , 2022

Link: https://dl.acm.org/doi/1..

12

A Security Property Decomposition Argument Pattern for Stru..:

, In: 26th European Conference on Pattern Languages of Programs,

Jaskolka, Jason ; Jawad, Alvi ; Samuel, Joe. - p. 1-10 , 2021

Link: https://dl.acm.org/doi/1..

13

Introducing a Multi-layered Model-based Design Approach tow..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C),

Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim - p. 1163-1164 , 2021

Link: https://doi.org/10.1109/..

14

Specification, detection, and treatment of STRIDE threats f..:

Rouland, Quentin ; Hamid, Brahim ; Jaskolka, Jason
Journal of Systems Architecture. 117 (2021) - p. 102073 , 2021

Link: https://doi.org/10.1016/..

15

Reusable Formal Models for Threat Specification, Detection,..:

, In: Lecture Notes in Computer Science; Reuse in Emerging Software Engineering Practices,

Rouland, Quentin ; Hamid, Brahim ; Jaskolka, Jason - p. 52-68 , 2020

Link: https://doi.org/10.1007/..