Mohamed Mejri

Available identifiers

zbMath Open mejri.mohamedMaRDI QIDQ1853748

List of research outcomes

Publication	Date of Publication	Type
Towards the correctness of security protocols	2016-05-03	Paper
Formal Enforcement of Security Policies on Parallel Systems with Risk Integration	2015-09-21	Paper
Formal enforcement of security policies on concurrent systems	2011-08-10	Paper
Network security: formal and optimized configuration	2011-04-11	Paper
Computational Science and Its Applications – ICCSA 2004	2005-12-23	Paper
A new logic for electronic commerce protocols	2003-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2767198	2002-01-28	Paper

Research outcomes over time

This page was built for person: Mohamed Mejri