Kamel Adi

	2009
16		Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi: Using Edit Automata for Rewriting-Based Security Enforcement. DBSec 2009: 175-190
15		Khaled Hamouid, Kamel Adi: Robust Key Management scheme for certification in mobile ad-hoc networks. ISCC 2009: 355-360
14		Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovskii: Typing for Conflict Detection in Access Control Policies. MCETECH 2009: 212-226
13		Mohamed Mejri, Kamel Adi, Hamido Fujita: Formal Specification and Analysis of Firewalls. SoMeT 2009: 284-293
12		Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi: Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops 2009: 474-477
	2008
11		Kamel Adi, Liviu Pene: Formal Reasoning for Security Protocol Correctness. SoMeT 2008: 63-83
	2007
10		Mahjoub Langar, Mohamed Mejri, Kamel Adi: A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management 2007: 165-171
9		Lamia Hamza, Kamel Adi: Formal Technique for Discovering Complex Attacks in Computer Systems. SoMeT 2007: 185-199
	2006
8		Lamia Hamza, Kamel Adi, Karim El Guemhioui: Automatic generation of attack scenarios for intrusion detection systems. AICT/ICIW 2006: 205
7		Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi: Enforcing Security Policies on Programs. SoMeT 2006: 195-207
6		Liviu Pene, Kamel Adi: A Calculus for Distributed Firewall Specification and Verification. SoMeT 2006: 301-315
	2005
5		Kamel Adi, Liviu Pene: Secrecy Correctness for Security Protocols. DFMA 2005: 22-29
	2003
4		Kamel Adi, Mourad Debbabi, Mohamed Mejri: A new logic for electronic commerce protocols. Theor. Comput. Sci. 291(3): 223-283 (2003)
	2001
3		Kamel Adi, Mourad Debbabi: Abstract interpretation for proving secrecy properties in security protocols. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
	2000
2		Kamel Adi, Mourad Debbabi, Mohamed Mejri: A New Logic for Electronic Commerce Protocols. AMAST 2000: 499-513
	1996
1		Didier Bert, Rachid Echahed, Kamel Adi: Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST 1996: 629-632

Coauthor Index

1	Didier Bert	[1]
2	Yacine Bouzida	[14]
3	Mourad Debbabi	[2] [3] [4]
4	Rachid Echahed	[1]
5	Hamido Fujita	[13]
6	Karim El Guemhioui	[8]
7	Khaled Hamouid	[15]
8	Lamia Hamza	[8] [9]
9	Ikhlass Hattak	[14]
10	Mahjoub Langar	[10]
11	Luigi Logrippo	[14]
12	Ji Ma	[12]
13	Serge Mankovskii	[14]
14	Mohamed Mejri	[2] [4] [7] [10] [13] [16]
15	Mehmet A. Orgun	[12]
16	Hakima Ould-Slimane	[7] [16]
17	Liviu Pene	[5] [6] [11]
18	Abdul Sattar	[12]

Colors in the list of coauthors