Kamel Adi

	2011
31		Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski: Risk-based decision method for access control systems. PST 2011: 189-192
30		Ji Ma, Mehmet A. Orgun, Kamel Adi: An analytic tableau calculus for a temporalised belief logic. J. Applied Logic 9(4): 289-304 (2011)
29		Mahjoub Langar, Mohamed Mejri, Kamel Adi: Formal enforcement of security policies on concurrent systems. J. Symb. Comput. 46(9): 997-1016 (2011)
	2010
28		Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo: Secrecy UML Method for Model Transformations. ASM 2010: 400
27		Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski: Inconsistency detection method for access control policies. IAS 2010: 204-209
26		Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski: Risk management in dynamic role based access control systems. ICDIM 2010: 1-8
25		Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski: Detecting incompleteness in access control policies using data classification schemes. ICDIM 2010: 417-422
24		Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo: Risk analysis in access control systems. PST 2010: 160-166
23		Mahjoub Langar, Mohamed Mejri, Kamel Adi: Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. SECRYPT 2010: 66-74
22		Mahjoub Langar, Mohamed Mejri, Kamel Adi: Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. Security and Management 2010: 400-405
21		Ji Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski: Risk Analysis in Access Control Systems Based on Trust Theories. Web Intelligence/IAT Workshops 2010: 415-418
20		Kamel Adi, Liviu Pene, L. Sullivan: Games for non-repudiation protocol correctness. IJWMC 4(4): 305-313 (2010)
19		Khaled Hamouid, Kamel Adi: Secure and robust threshold key management (SRKM) scheme for ad hoc networks. Security and Communication Networks 3(6): 517-534 (2010)
	2009
18		Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi: Using Edit Automata for Rewriting-Based Security Enforcement. DBSec 2009: 175-190
17		Khaled Hamouid, Kamel Adi: Robust Key Management scheme for certification in mobile ad-hoc networks. ISCC 2009: 355-360
16		Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski: Typing for Conflict Detection in Access Control Policies. MCETECH 2009: 212-226
15		Mohamed Mejri, Kamel Adi, Hamido Fujita: Formal Specification and Analysis of Firewalls. SoMeT 2009: 284-293
14		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
13		A. Boulaiche, Kamel Adi: Honeyd Detection Via Abnormal Behaviors Generated by the ARPD Daemon. SECRYPT 2008: 65-71
12		Kamel Adi, Liviu Pene: Formal Reasoning for Security Protocol Correctness. SoMeT 2008: 63-83
	2007
11		Mahjoub Langar, Mohamed Mejri, Kamel Adi: A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management 2007: 165-171
10		Lamia Hamza, Kamel Adi: Formal Technique for Discovering Complex Attacks in Computer Systems. SoMeT 2007: 185-199
	2006
9		Lamia Hamza, Kamel Adi, Karim El Guemhioui: Automatic generation of attack scenarios for intrusion detection systems. AICT/ICIW 2006: 205
8		Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi: Enforcing Security Policies on Programs. SoMeT 2006: 195-207
7		Liviu Pene, Kamel Adi: A Calculus for Distributed Firewall Specification and Verification. SoMeT 2006: 301-315
6		Kamel Adi, Daniel Amyot, Luigi Logrippo: Foreword - New technologies in distributed systems. Annales des Télécommunications 61(11-12): 1226-1228 (2006)
	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): 25-50 (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	Daniel Amyot	[6]
2	Didier Bert	[1]
3	A. Boulaiche	[13]
4	Yacine Bouzida	[16]
5	Mourad Debbabi	[2] [3] [4]
6	Rachid Echahed	[1]
7	Hamido Fujita	[15]
8	Karim El Guemhioui	[9]
9	Khaled Hamouid	[17] [19]
10	Lamia Hamza	[9] [10]
11	Waël Hassan	[28]
12	Ikhlass Hattak	[16]
13	Mahjoub Langar	[11] [22] [23] [29]
14	Luigi Logrippo	[6] [16] [21] [24] [25] [26] [27] [28] [31]
15	Ji Ma	[14] [21] [24] [26] [30]
16	Serge Mankovski	[16] [21] [25] [26] [27] [31]
17	Mohamed Mejri	[2] [4] [8] [11] [15] [18] [22] [23] [24] [29]
18	Mehmet A. Orgun	[14] [30]
19	Hakima Ould-Slimane	[8] [18]
20	Liviu Pene	[5] [7] [12] [20]
21	Abdul Sattar	[14]
22	Riaz Ahmed Shaikh	[25] [27] [31]
23	Nadera Slimani	[28]
24	L. Sullivan	[20]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page