Najah Ben Said

According to our database, Najah Ben Said authored at least 8 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

End-to-end information flow security for web services orchestration.

Najah Ben Said, Ioana Cristescu

Sci. Comput. Program., 2020

2019

Security Analysis of IoT Systems Using Attack Trees.

Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Salah Sadou

Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

2018

A Language for Analyzing Security of IOT Systems.

Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Detection of Mirai by Syntactic and Behavioral Analysis.

Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

2016

Information Flow Security in Component-Based Models : From verification to Implementation. (Sécurité du flux d'information : de la vérification à l'implémentation).

Najah Ben Said

PhD thesis, 2016

A Model-Based Approach to Secure Multiparty Distributed Systems.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

A Robust Framework for Securing Composed Web Services.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Model-Driven Information Flow Security for Component-Based Systems.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014