Mohamed Mejri

2008
20	EE	Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri: Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. ICICS 2008: 403-418
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	Meriam Ben-Ghorbel-Talbi (Meriam Ben Ghorbel)	[18] [19]
3	Adel Bouhoula	[20]
4	Mathieu Couture	[9]
5	Mourad Debbabi	[1] [2] [3] [4] [5] [6]
6	Nancy A. Durgin	[6]
7	M. M. Erhioui	[7]
8	Hamido Fujita	[7] [8] [14] [15]
9	Daniel Godbout	[15]
10	Hanane Houmani	[16]
11	Béchir Ktari	[7] [8] [9] [10] [13] [14] [15]
12	Alexandre Lacasse	[10]
13	Mahjoub Langar	[12] [17]
14	Y. Legaré	[3]
15	Frédéric Massicotte	[9]
16	Mohamed Mbarki	[13]
17	John C. Mitchell	[6]
18	Benjamin Morin	[20]
19	Mehdi Talbi	[18] [19] [20]
20	Nadia Tawbi	[1] [2]
21	Valérie Viet Triem Tong	[20]
22	I. Yahmadi	[1] [2]

Colors in the list of coauthors