Mohamed Mejri

2008
19	EE	Mehdi Talbi, Meriam Ben Ghorbel, Mohamed Mejri: Intrusion Detection Prototype Based on ADM-Logic. JSW 3(2): 15-22 (2008)
2007
18	EE	Meriam Ben Ghorbel, Mehdi Talbi, Mohamed Mejri: Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic. ARES 2007: 206-212
17		Mahjoub Langar, Mohamed Mejri, Kamel Adi: A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management 2007: 165-171
16	EE	Hanane Houmani, Mohamed Mejri: Secrecy by interpretation functions. Knowl.-Based Syst. 20(7): 617-635 (2007)
15	EE	Béchir Ktari, Hamido Fujita, Mohamed Mejri, Daniel Godbout: Toward a new software development environment. Knowl.-Based Syst. 20(7): 683-693 (2007)
2006
14	EE	Hamido Fujita, Béchir Ktari, Mohamed Mejri: Implementing Lyee-Calculus in Java. Knowl.-Based Syst. 19(2): 116-129 (2006)
13	EE	Mohamed Mbarki, Mohamed Mejri, Béchir Ktari: Converting an imperative program to a declarative one. Knowl.-Based Syst. 19(2): 130-140 (2006)
2005
12		Mahjoub Langar, Mohamed Mejri: Formal and Efficient Enforcement of Security Policies. FCS 2005: 143-149
2004
11	EE	Mohamed Mejri: Chaotic Protocols. ICCSA (1) 2004: 938-948
10	EE	Alexandre Lacasse, Mohamed Mejri, Béchir Ktari: Formal Implementation of Network Security Policies. PST 2004: 161-166
9	EE	Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte: A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. PST 2004: 175-179
8	EE	Hamido Fujita, Mohamed Mejri, Béchir Ktari: A process algebra to formalize the Lyee methodology. Knowl.-Based Syst. 17(5-6): 263-281 (2004)
2003
7	EE	Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui: Static analysis of Lyee requirements. Knowl.-Based Syst. 16(7-8): 361-382 (2003)
6	EE	Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)
5		Kamel Adi, Mourad Debbabi, Mohamed Mejri: A new logic for electronic commerce protocols. Theor. Comput. Sci. 291(3): 223-283 (2003)
2000
4	EE	Kamel Adi, Mourad Debbabi, Mohamed Mejri: A New Logic for Electronic Commerce Protocols. AMAST 2000: 499-513
1998
3	EE	Mourad Debbabi, Y. Legaré, Mohamed Mejri: An Environment for the Specification and Analysis of Cryptoprotocols. ACSAC 1998: 321-332
1997
2		Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM 1997: 50-59
1	EE	Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. WETICE 1997: 256-262

Coauthor Index

1	Kamel Adi	[4] [5] [17]
2	Mathieu Couture	[9]
3	Mourad Debbabi	[1] [2] [3] [4] [5] [6]
4	Nancy A. Durgin	[6]
5	M. M. Erhioui	[7]
6	Hamido Fujita	[7] [8] [14] [15]
7	Meriam Ben Ghorbel	[18] [19]
8	Daniel Godbout	[15]
9	Hanane Houmani	[16]
10	Béchir Ktari	[7] [8] [9] [10] [13] [14] [15]
11	Alexandre Lacasse	[10]
12	Mahjoub Langar	[12] [17]
13	Y. Legaré	[3]
14	Frédéric Massicotte	[9]
15	Mohamed Mbarki	[13]
16	John C. Mitchell	[6]
17	Mehdi Talbi	[18] [19]
18	Nadia Tawbi	[1] [2]
19	I. Yahmadi	[1] [2]

Colors in the list of coauthors