2009 |
26 | EE | Romain Laborde,
Michel Kamel,
Ahmad Samer Wazan,
François Barrère,
Abdelmalek Benzekri:
A secure collaborative web-based environment for virtual organisations.
IJWBC 5(2): 273-292 (2009) |
2008 |
25 | EE | Ahmad Samer Wazan,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
The X.509 certificate quality.
ICDIM 2008: 928-930 |
24 | EE | Ahmad Samer Wazan,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
Validating X.509 Certificates Based on their Quality.
ICYCS 2008: 2055-2060 |
23 | EE | Romain Laborde,
Michel Kamel,
François Barrère,
Abdelmalek Benzekri:
PEP = Point to Enhance Particularly.
POLICY 2008: 93-96 |
2007 |
22 | EE | Romain Laborde,
Michel Kamel,
François Barrère,
Abdelmalek Benzekri:
A secure collaborative web based environment for virtual organizations.
ICDIM 2007: 723-730 |
21 | EE | Romain Laborde,
Michel Kamel,
François Barrère,
Abdelmalek Benzekri:
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture.
J. Network Syst. Manage. 15(2): 241-266 (2007) |
2006 |
20 | EE | Osman Salem,
Abdelmalek Benzekri:
Towards Absolute End-to-End QoS in Ad Hoc Networks.
AICT/ICIW 2006: 18 |
19 | EE | Bassem Nasser,
François Barrère,
Abdelmalek Benzekri,
Romain Laborde,
Michel Kamel:
Automated Creation of Inter-organizational Grid Virtual Organizations.
NOMS 2006 |
18 | EE | Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
Network security policy refinement process: Expression and analysis.
J. High Speed Networks 15(3): 247-260 (2006) |
2005 |
17 | EE | Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
A Security Management Information Model Derivation Framework: From Goals to Configurations.
Formal Aspects in Security and Trust 2005: 217-234 |
16 | | Bassem Nasser,
Abdelmalek Benzekri,
Romain Laborde,
Frédéric Grasset,
François Barrère:
Access Control Model for Grid Virtual Organizations.
ICEIS (3) 2005: 152-158 |
15 | EE | Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
A formal framework (Expression + Analysis) for network security.
NCA 2005: 223-227 |
14 | EE | Bassem Nasser,
Romain Laborde,
Abdelmalek Benzekri,
François Barrère,
Michel Kamel:
Access Control Model for Inter-organizational Grid Virtual Organizations.
OTM Workshops 2005: 537-551 |
13 | EE | Bassem Nasser,
Romain Laborde,
Abdelmalek Benzekri,
François Barrère,
Michel Kamel:
Dynamic Creation of Inter-Organizational Grid Virtual Organizations.
e-Science 2005: 405-412 |
12 | EE | Romain Laborde,
Bassem Nasser,
Frédéric Grasset,
François Barrère,
Abdelmalek Benzekri:
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies.
Electr. Notes Theor. Comput. Sci. 121: 117-142 (2005) |
2003 |
11 | EE | François Barrère,
Abdelmalek Benzekri,
Frédéric Grasset,
Romain Laborde,
Bassem Nasser:
Inter-Domains policy negociation.
POLICY 2003: 239-242 |
10 | | Abdelmalek Benzekri,
Osman Salem:
A Software Performance Evaluation Approach Using Stochastic Process Algebra Tools.
Software Engineering Research and Practice 2003: 62-67 |
2002 |
9 | | Rima Abdallah,
Abdelmalek Benzekri,
Ali El Hajj,
Ibrahim Moukarzel:
Learner and Course Interoperability in a Web Based Training Model.
Information Technology in Educational Management 2002: 119-127 |
8 | EE | Alia Fourati,
Hella Kaffel Ben Ayed,
Farouk Kamoun,
Abdelmalek Benzekri:
A SET Based Approach to Secure the Payment in Mobile Commerce.
LCN 2002: 136-140 |
7 | | Alia Fourati,
Hella Kaffel Ben Ayed,
Farouk Kamoun,
Abdelmalek Benzekri:
Wireless set: an approach for the deployment of set over WAP mobile networks.
Net-Con 2002: 437-442 |
6 | EE | François Barrère,
Abdelmalek Benzekri,
Frédéric Grasset,
Romain Laborde:
A Multi-Domain Security Policy Distribution Architecture for Dynamic IP Based VPN Management.
POLICY 2002: 224-227 |
1997 |
5 | EE | F. Maurice,
Abdelmalek Benzekri,
Yves Raynaud:
Evaluation and Improvement of Software Products and Processes based on Measurement.
HASE 1997: 108-113 |
4 | EE | F. Maurice,
Abdelmalek Benzekri,
Yves Raynaud:
Introducing Rigorous Metrics Specification and Verification into a Measurement Program.
IEEE METRICS 1997: 12-19 |
1996 |
3 | EE | Jean-Michel Bruel,
Robert B. France,
Abdelmalek Benzekri:
A Z-based Approach to Specifying and Analyzing Complex Systems.
ICECCS 1996: 336-343 |
1993 |
2 | | Ramón Puigjaner,
Abdelmalek Benzekri,
Sandra Ayache:
Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems
CAiSE 1993: 629-648 |
1 | | Omar Hjiej,
Abdelmalek Benzekri,
Alberto Valderruten:
From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation.
Decentralized and Distributed Systems 1993: 401-412 |