 | 2011 |
| 35 |  | Ahmad Samer Wazan,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
A formal model of trust for calculating the quality of X.509 certificate.
Security and Communication Networks 4(6): 651-665 (2011) |
| 2010 |
| 34 |  | Marwan Cheaito,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
A deployment framework for self-contained policies.
CNSM 2010: 88-95 |
| 33 |  | Romain Laborde,
Marwan Cheaito,
François Barrère,
Abdelmalek Benzekri:
Toward Self-Contained Authorization Policies.
POLICY 2010: 103-106 |
| 2009 |
| 32 |  | Ahmad Samer Wazan,
Romain Laborde,
David W. Chadwick,
François Barrère,
Abdelmalek Benzekri:
Which Web Browsers Process SSL Certificates in a Standardized Way?
SEC 2009: 432-442 |
| 31 |  | Michel Kamel,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
An organizational pattern for contributing to the deployment of secure Virtual Enterprises.
Security and Management 2009: 56-61 |
| 30 |  | 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 |
| 29 |  | Michel Kamel,
Romain Laborde,
Abdelmalek Benzekri,
François Barrère:
A best practices-oriented approach for establishing trust chains within Virtual Organisations.
EDOCW 2008: 167-174 |
| 28 |  | Ahmad Samer Wazan,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
The X.509 certificate quality.
ICDIM 2008: 928-930 |
| 27 |  | Ahmad Samer Wazan,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
Validating X.509 Certificates Based on their Quality.
ICYCS 2008: 2055-2060 |
| 26 |  | Romain Laborde,
Michel Kamel,
François Barrère,
Abdelmalek Benzekri:
PEP = Point to Enhance Particularly.
POLICY 2008: 93-96 |
| 25 |  | Michel Kamel,
Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
A trust-based virtual collaborative environment.
JDIM 6(5): 405-413 (2008) |
| 2007 |
| 24 |  | Romain Laborde,
Michel Kamel,
François Barrère,
Abdelmalek Benzekri:
A secure collaborative web based environment for virtual organizations.
ICDIM 2007: 723-730 |
| 23 |  | 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 |
| 22 |  | Osman Salem,
Abdelmalek Benzekri:
Towards Absolute End-to-End QoS in Ad Hoc Networks.
AICT/ICIW 2006: 18 |
| 21 |  | Bassem Nasser,
François Barrère,
Abdelmalek Benzekri,
Romain Laborde,
Michel Kamel:
Automated Creation of Inter-organizational Grid Virtual Organizations.
NOMS 2006 |
| 20 |  | 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 |
| 19 |  | 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 |
| 18 |  | 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 |
| 17 |  | Romain Laborde,
Michel Kamel,
François Barrère,
Abdelmalek Benzekri:
Implementation of a formal security policy refinement process in WBEM architecture.
LANOMS 2005: 65-76 |
| 16 |  | Romain Laborde,
François Barrère,
Abdelmalek Benzekri:
A formal framework (Expression + Analysis) for network security.
NCA 2005: 223-227 |
| 15 |  | 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 |
| 14 |  | 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 |
| 13 |  | 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 |
| 12 |  | François Barrère,
Abdelmalek Benzekri,
Frédéric Grasset,
Romain Laborde,
Bassem Nasser:
SPIDERNet: the Security Policy Derivation for Networks Tool.
LANOMS 2003: 29-36 |
| 11 |  | 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 |  | 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 |  | 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 |  | F. Maurice,
Abdelmalek Benzekri,
Yves Raynaud:
Evaluation and Improvement of Software Products and Processes based on Measurement.
HASE 1997: 108-113 |
| 4 |  | F. Maurice,
Abdelmalek Benzekri,
Yves Raynaud:
Introducing Rigorous Metrics Specification and Verification into a Measurement Program.
IEEE METRICS 1997: 12-19 |
| 1996 |
| 3 |  | 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 |