Adel Bouhoula

	2012
62		Adel Bouhoula, Florent Jacquemard: Sufficient completeness verification for conditional and constrained TRS. J. Applied Logic 10(1): 127-143 (2012)
	2011
61		Nihel Ben Youssef, Adel Bouhoula: A Fully Automatic Approach for Fixing Firewall Misconfigurations. CIT 2011: 461-466
60		Nihel Ben Youssef, Adel Bouhoula: Dealing with Stateful Firewall Checking. DICTAP (1) 2011: 493-507
59		Nizar Ben Neji, Adel Bouhoula: NAF conversion: An efficient solution for the range matching problem in packet filters. HPSR 2011: 24-29
58		Nizar Ben Neji, Adel Bouhoula, Masato Kimura: Enabling flexible packet filtering through the K-map priority elimination technique. LCN 2011: 1-8
57		Nizar Ben Neji, Adel Bouhoula: Towards safe and optimal filtering rule reordering for complex packet filters. NSS 2011: 153-160
56		Nihel Ben Youssef, Adel Bouhoula: Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls. SocialCom/PASSAT 2011: 1214-1219
55		Sourour Meharouech, Adel Bouhoula, Tarek Abbes: Network Security Alerts Management Architecture for Signature-Based Intrusions Detection Systems within a NAT Environment. J. Network Syst. Manage. 19(4): 472-495 (2011)
54		Sourour Meharouech, Adel Bouhoula, Tarek Abbes: Trusted intrusion detection architecture for high-speed networks based on traffic classification, load balancing and high availability mechanism. Security and Communication Networks 4(4): 384-394 (2011)
	2010
53		Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula: Data analyzer based on data mining for Honeypot Router. AICCSA 2010: 1-6
52		Ahlem Bouchahda, Nhan Le Thanh, Adel Bouhoula, Faten Labbene: Enforcing Access Control to Web Databases. CIT 2010: 612-619
51		Ahlem Bouchahda-Ben Tekaya, Nhan Le Thanh, Adel Bouhoula, Faten Labbene-Ayachi: An Access Control Model for Web Databases. DBSec 2010: 287-294
50		Nihel Ben Youssef, Adel Bouhoula: Automatic Conformance Verification of Distributed Firewalls to Security Requirements. SocialCom/PASSAT 2010: 834-841
49		Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula: Experimental analysis of attacks against web services and countermeasures. iiWAS 2010: 195-201
48		Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula: Managing Delegation in Access Control Models CoRR abs/1012.2720: (2010)
47		Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch: Efficient decision tree for protocol analysis in intrusion detection. IJSN 5(4): 220-235 (2010)
46		Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula: A delegation model for extended RBAC. Int. J. Inf. Sec. 9(3): 209-236 (2010)
	2009
45		Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula: Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. ARES 2009: 281-288
44		Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula: Honeypot router for routing protocols protection. CRiSIS 2009: 127-130
43		Mohamed Ali Ayachi, Christophe Bidan, Tarek Abbes, Adel Bouhoula: Misbehavior Detection Using Implicit Trust Relations in the AODV Routing Protocol. CSE (2) 2009: 802-808
42		Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard: Automatic verification of conformance of firewall configurations to security policies. ISCC 2009: 526-531
41		Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula: An Extended Role-Based Access Control Model for Delegating Obligations. TrustBus 2009: 127-137
40		Adel Bouhoula: Simultaneous checking of completeness and ground confluence for algebraic specifications. ACM Trans. Comput. Log. 10(3): (2009)
39		Amjad Gawanmeh, Adel Bouhoula, Sofiène Tahar: Rank Functions Based Inference System for Group Key Management Protocols Verification. I. J. Network Security 8(2): 187-198 (2009)
38		Sourour Meharouech, Adel Bouhoula, Tarek Abbes: Ensuring security in depth based on heterogeneous network security technologies. Int. J. Inf. Sec. 8(4): 233-246 (2009)
37		Mehdi Talbi, Mohamed Mejri, Adel Bouhoula: Specification and evaluation of polymorphic shellcode properties using a new temporal logic. Journal in Computer Virology 5(3): 171-186 (2009)
	2008
36		Sourour Meharouech, Adel Bouhoula, Tarek Abbes: Collaboration between Security Devices toward improving Network Defense. ACIS-ICIS 2008: 13-18
35		Soutaro Matsumoto, Adel Bouhoula: Automatic Verification of Firewall Configuration with Respect to Security Policy Requirements. CISIS 2008: 123-130
34		Nizar Ben Neji, Adel Bouhoula: Dynamic Scheme for Packet Classification Using Splay Trees. CISIS 2008: 211-218
33		Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula: Revocation Schemes for Delegation Licences. ICICS 2008: 190-205
32		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
31		Adel Bouhoula, Florent Jacquemard: Automated Induction with Constrained Tree Automata. IJCAR 2008: 539-554
30		Nizar Ben Neji, Adel Bouhoula: Self-adjusting scheme for high speed routers. LCN 2008: 542-543
29		Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch: An inference system for detecting firewall filtering rules anomalies. SAC 2008: 2122-2128
28		Adel Bouhoula, Florent Jacquemard: Automated Induction for Complex Data Structures CoRR abs/0811.4720: (2008)
27		Adel Bouhoula, Zouheir Trabelsi, Ezedin Barka, Mohammed Anis Benelbahri: Firewall filtering rules analysis for anomalies detection. IJSN 3(3): 161-172 (2008)
	2007
26		Sourour Meharouech, Adel Bouhoula, Tarek Abbes: A Stateful Real Time Intrusion Detection System for high-speed network. AINA 2007: 404-411
25		Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch: A Traffic Classification Algorithm for Intrusion Detection. AINA Workshops (1) 2007: 188-193
24		Hédi Hamdi, Mohamed Mosbah, Adel Bouhoula: A Domain Specific Language for Securing Distributed Systems. ICSNC 2007: 76
23		Mohammed Anis Benelbahri, Adel Bouhoula: Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules. ISCC 2007: 63-70
22		Hédi Hamdi, Adel Bouhoula, Mohamed Mosbah: A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. SECURWARE 2007: 187-192
	2004
21		Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch: Protocol Analysis in Intrusion Detection Using Decision Tree. ITCC (1) 2004: 404-408
20		Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch: On the fly pattern matching for intrusion detection with Snort. Annales des Télécommunications 59(9-10): 1045-1071 (2004)
	2002
19		Adel Bouhoula, Michaël Rusinowitch: Observational proofs by rewriting. Theor. Comput. Sci. 275(1-2): 675-698 (2002)
	2001
18		Adel Bouhoula, Jean-Pierre Jouannaud: Automata-Driven Automated Induction. Inf. Comput. 169(1): 1-22 (2001)
	2000
17		Adel Bouhoula: Simultaneous Checking of Completeness and Ground Confluence. ASE 2000: 143-
16		Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1-2): 35-132 (2000)
	1998
15		Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: Observational Proofs with Critical Contexts. FASE 1998: 38-53
	1997
14		Adel Bouhoula, Jean-Pierre Jouannaud: Automata-Driven Automated Induction. LICS 1997: 14-25
13		Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and Proof in Membership Equational Logic. TAPSOFT 1997: 67-92
12		Adel Bouhoula: Automated Theorem Proving by Test Set Induction. J. Symb. Comput. 23(1): 47-77 (1997)
	1996
11		Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: Automated Verification by Induction with Associative-Commutative Operators. CAV 1996: 220-231
10		Adel Bouhoula: General Framework for Mechanizing Induction using Test Set. PRICAI 1996: 1-12
9		Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA 1996: 428-431
8		Adel Bouhoula: Using Induction and Rewriting to Verify and Complete Parameterized Specifications. Theor. Comput. Sci. 170(1-2): 245-276 (1996)
	1995
7		Adel Bouhoula, Michaël Rusinowitch: SPIKE: A System for Automatic Inductive Proofs. AMAST 1995: 576-577
6		Adel Bouhoula, Michaël Rusinowitch: Implicit Induction in Conditional Theories. J. Autom. Reasoning 14(2): 189-235 (1995)
5		Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch: Automated Mathematical Induction. J. Log. Comput. 5(5): 631-668 (1995)
	1994
4		Adel Bouhoula: Sufficient Completeness and Parameterized Proofs by Induction. ALP 1994: 23-40
3		Adel Bouhoula: SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs. CADE 1994: 836-840
	1993
2		Adel Bouhoula, Michaël Rusinowitch: Automatic Case Analysis in Proof by Induction. IJCAI 1993: 88-94
	1992
1		Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch: SPIKE, an Automatic Theorem Prover. LPAR 1992: 460-462

Coauthor Index

1	Tarek Abbes	[20] [21] [25] [26] [29] [36] [38] [43] [44] [47] [49] [53] [54] [55]
2	Mohamed Ali Ayachi	[43]
3	Ezedin Barka	[27]
4	Meriam Ben-Ghorbel-Talbi (Meriam Ben Ghorbel)	[33] [41] [46] [48]
5	Mohammed Anis Benelbahri	[23] [27]
6	Narjes Berregeb	[9] [11] [15]
7	Christophe Bidan	[43]
8	Ahlem Bouchahda	[52]
9	Frédéric Cuppens	[33] [41] [46] [48]
10	Nora Cuppens-Boulahia (Nora Boulahia-Cuppens)	[33] [41] [46] [48]
11	Amjad Gawanmeh	[39]
12	Abdallah Ghourabi	[44] [49] [53]
13	Hédi Hamdi	[22] [24]
14	Florent Jacquemard	[28] [31] [42] [62]
15	Jean-Pierre Jouannaud	[13] [14] [16] [18]
16	Masato Kimura	[58]
17	Emmanuel Kounalis	[1] [5]
18	Faten Labbene	[52]
19	Faten Labbene-Ayachi	[51]
20	Soutaro Matsumoto	[35]
21	Sourour Meharouech	[26] [36] [38] [54] [55]
22	Mohamed Mejri	[32] [37]
23	José Meseguer	[13] [16]
24	Benjamin Morin	[32]
25	Mohamed Mosbah	[22] [24]
26	Nizar Ben Neji	[30] [34] [57] [58] [59]
27	Michaël Rusinowitch	[1] [2] [5] [6] [7] [9] [11] [15] [19] [20] [21] [25] [29] [47]
28	Sofiène Tahar	[39]
29	Mehdi Talbi	[32] [37] [45]
30	Ahlem Bouchahda-Ben Tekaya	[51]
31	Nhan Le Thanh	[51] [52]
32	Valérie Viet Triem Tong	[32] [45]
33	Zouheir Trabelsi	[27]
34	Nihel Ben Youssef	[42] [50] [56] [60] [61]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page