Publications de Abdelmalek BENZEKRI
Ahmad Samer Wazan, Romain Laborde, David Chadwick, Rémi Venant, Abdelmalek Benzekri, Eddie Billoir, Omar Alfandi
On the Validation of Web X.509 Certificates by TLS interception products
IEEE Transactions on Dependable and Secure Computing, 2022, 19 (1), pp.227 – 242. ⟨10.1109/TDSC.2020.3000595⟩
Romain Laborde, Sravani Teja Bulusu, Ahmad Samer Wazan, Arnaud Oglaza, Abdelmalek Benzekri
A Methodological Approach to Evaluate Security Requirements Engineering Methodologies: Application to the IREHDO2 Project Context
Journal of Cybersecurity and Privacy, 2021, 1 (3), pp.422-452. ⟨10.3390/jcp1030022⟩
Romain Laborde, Arnaud Oglaza, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri
A situation-driven framework for dynamic security management
Annals of Telecommunications – annales des télécommunications, 2019, 74 (3-4), pp.185-196. ⟨10.1007/s12243-018-0673-0⟩
Arnaud Oglaza, Romain Laborde, Pascale Zaraté, Abdelmalek Benzekri, François Barrere
A new approach for managing Android permissions: learning users’ preferences
EURASIP Journal on Information Security, 2017, 2017 (13), pp.1-16. ⟨10.1186/s13635-017-0065-4⟩
Ahmad Samer Wazan, Romain Laborde, David W. Chadwick, François Barrere, Abdelmalek Benzekri, Mustafa Kaiiali, Adib Habbal
Trust management for public key infrastructures: implementing the X.509 trust broker
Security and Communication Networks, 2017, Vol. 2017 (ID 6907146), pp. 1-23. ⟨10.1155/2017/6907146⟩
Hicham El Khoury, Romain Laborde, François Barrère, Maroun Chamoun, Abdelmalek Benzekri
A Data Flow Oriented Specification Method for Analyzing Network Security Configurations
Dans : International Journal of Internet Protocol Technology, Inderscience Publishers, Numéro spécial Innovative Mobile and Internet Technologies, Vol. 8 N. 2/3, p. 58-76, décembre 2014.
Résumé Accès : http://www.inderscience.com/info/inarticle.php?artid=66378
BibTeXAbdelmalek Benzekri, François Barrère, Romain Laborde
Gestion des habilitations : modèles et architectures
Dans : Revue de l’Electricité et de l’Electronique (REE), Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), Paris, Vol. 2013, N. 4, p. 35-41, octobre 2013.
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
A formal model of trust for calculating the quality of X.509 certificate
Dans : Security and Communication Networks, Wiley, Vol. 4 N. 6, p. 651-665, juin 2011.
Résumé Accès : http://onlinelibrary.wiley.com/doi/10.1002/sec.198/abstract
BibTeXRomain Laborde, Michel Kamel, Ahmad Samer Wazan, François Barrère, Abdelmalek Benzekri
A secure collaborative web-based environment for virtual organisations
Dans : International Journal of Web Based Communities, Inderscience Publishers, Numéro spécial Dynamic Virtual Communities in the Information Society, Vol. 5 N. 2, p. 273-292, 2009.
Michel Kamel, Romain Laborde, François Barrère, Abdelmalek Benzekri
A trust-based virtual collaborative environment
Dans : Journal of Digital Information Management (JDIM), Digital Information Research Foundation (DIRF), Vol. 6 N. 5, (en ligne), octobre 2008.
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture
Dans : Journal of Network and Systems Management, Springer, Vol. 15 N. 2, p. 241-266, juin 2007.
Résumé Accès : http://dx.doi.org/10.1007/s10922-007-9063-z
BibTeXRomain Laborde, François Barrère, Abdelmalek Benzekri
Network Security Policy Refinement Process: Expression and Analysis
Dans : Journal of High Speed Networks, Deepinder Sidhu, Numéro spécial Managing Security Polices: Modeling, Verification and Configuration, Vol. 15 N. 3, p. 247-260, 2006.
Résumé Accès : http://iospress.metapress.com/link.asp?id=bkcm65lh4y060brg
BibTeXAbdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Logiciels distribués temps réel : approches de spécification Z
Dans : Revue Electronique sur les Réseaux et l’Informatique Répartie, Laboratoire de Téléinformatique et Analyse des Systèmes Communicants de l’université de Pau, France, Laboratoire TASC Université de Pau, Vol. Volume, N. 8, p. 39-57, juillet 1999.
Accès : http://rerir.univ-pau.fr
BibTeXAbdelmalek Benzekri, Philippe Sarafoglou
Real-time Network applications programming
Dans : Special issue on ¿Parallel and Distributed Real-Time Systems¿ of Parallel and Distributed Computing Practices., Jan Van Katwijk and Janusz Zalewski, ISSN 1097-2803 Nova Science Publishers, Inc. 247 Main Street, Suite 100 Huntington, NY 11743 Tel: (631) 424-6682 Fax: (631) 424-4666, Vol. 2 N. 1, p. 61-72, 1999.
Ahmad Samer Wazan, David Chadwick, Remi Venant, Romain Laborde, Abdelmalek Benzekri
RootAsRole: Towards a Secure Alternative to sudo/su Commands for Home Users and SME Administrators
36th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC 2021), IFIP : International Federation for Information Processing, Jun 2021, Oslo, Norway. pp.196-209, ⟨10.1007/978-3-030-78120-0_13⟩
Abdelmalek Benzekri, Romain Laborde, Arnaud Oglaza, Maleerat Sodanil, Hatahairat Ketneechairat
Towards Situation-based IT Management During Natural Disaster Crisis
Fourteenth International Conference on Emerging Security Information, Systems and Technologie (SECUREWARE 2020), Nov 2020, Valencia, Spain
Thi Quynh Nguyen, Romain Laborde, Abdelmalek Benzekri, Bruno Qu’hen
Detecting abnormal DNS traffic using unsupervised machine learning
4th Cyber Security in Networking Conference: Cyber Security in Networking (CSNet 2020), IEEE Communications Society, Oct 2020, Lausanne, Switzerland. pp.1-8, ⟨10.1109/CSNet50428.2020.9265466⟩
Romain Laborde, Arnaud Oglaza, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri, David W. Chadwick, Rémi Venant
A User-Centric Identity Management Framework based on the W3C Verifiable Credentials and the FIDO Universal Authentication Framework
17th IEEE Consumer Communications and Networking Conference (CCNC 2020), Jan 2020, Las Vegas, United States. pp.1-8, ⟨10.1109/CCNC46108.2020.9045440⟩
Romain Laborde, Arnaud Oglaza, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri, David W. Chadwick, Rémi Venant
Know Your Customer: Opening a New Bank Account Online Using UAAF
17th IEEE Consumer Communications and Networking Conference (CCNC 2020), Jan 2020, Las Vegas, United States. pp.1-2, ⟨10.1109/CCNC46108.2020.9045148⟩
Abdelmalek Benzekri, Romain Laborde, Arnaud Oglaza, Darine Rammal, François Barrere
Dynamic security management driven by situations: An Exploratory analysis of logs for the identification of security situations
3rd Cyber Security in Networking Conference (CSNet 2019), Oct 2019, Quito, Ecuador. pp.66, ⟨10.1109/CSNet47905.2019.9108976⟩
Romain Laborde, Sravani Teja Bulusu, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri
Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements
34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019), Apr 2019, Limassol, Cyprus. pp.1610-1619
Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, François Barrère, Abdelmalek Benzekri
A Requirements Engineering-based Approach for evaluating Security Requirements Engineering Methodologies
15th International Conference on Information Technology : New Generations (ITNG 2018), Apr 2018, Las Vegas, United States. pp.517-525
Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri
Applying a requirement engineering based approach to evaluate the security requirements engineering methodologies
SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing, Apr 2018, Pau, France. pp.1316-1318
Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri
Describing Advanced Persistent Threats Using a Multi-agent System Approach
Cyber Security in Networking Conference (CSNet), Oct 2017, Rio de Janeiro, Brazil. pp.0, ⟨10.1109/CSNET.2017.8241997⟩
Romain Laborde, Arnaud Oglaza, François Barrère, Abdelmalek Benzekri
dynSMAUG: A Dynamic Security Management Framework Driven by Situations
1st Cyber Security in Networking Conference (CSNet 2017), Oct 2017, Rio de Janeiro, Brazil. pp.1-8
Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, François Barrere, Abdelmalek Benzekri
Which Security Requirements Engineering Methodology Should I Choose?: Towards a Requirements Engineering-based Evaluation Approach
12th International Conference on Availability, Reliability and Security (ARES 2017), Aug 2017, Reggio Calabria, Italy. pp.1-6
Ahmad Samer Wazan, Romain Laborde, David W. Chadwick, François Barrere, Abdelmalek Benzekri
TLS Connection Validation by Web Browsers: Why do Web Browsers still not agree?
41st IEEE Annual Computer Software and Applications Conference (COMPSAC 2017), Jul 2017, Turin, Italy. pp. 665-674
Ahmad Samer Wazan, Romain Laborde, David W. Chadwick, François Barrère, Abdelmalek Benzekri
How Can I Trust an X.509 Certificate? an Analysis of the Existing Trust Approaches (short paper)
Dans : IEEE Conference on Local Computer Networks (LCN 2016), Dubai, 07/11/16-11/11/16, IEEE : Institute of Electrical and Electronics Engineers, p. 531-534, 2016.
Accès : https://doi.org/10.1109/LCN.2016.85 – https://oatao.univ-toulouse.fr/18789/
BibTeXArnaud Oglaza, Romain Laborde, François Barrère, Abdelmalek Benzekri
A recommender-based system for assisting non technical users in managing Android permissions (regular paper)
Dans : International Conference on Availability, Reliability and Security (ARES 2016), Salzburg, 31/08/16-02/09/16, IEEE : Institute of Electrical and Electronics Engineers, p. 1-9, 2016.
Résumé Accès : https://doi.org/10.1109/ARES.2016.54 – https://oatao.univ-toulouse.fr/18779/
BibTeXIbrahim Yonis Omar, Romain Laborde, François Barrère, Ahmad Samer Wazan, Abdelmalek Benzekri
eGovernment Security Requirements: Managing Obligations and Authorizations Inconsistencies with XACMLv3 (regular paper)
Dans : International Conference on Security and Management (SAM 2016), Las Vegas, 25/07/16-28/07/16, CSREA press, p. 89-95, 2016.
Accès : http://worldcomp-proceedings.com/proc/p2016/SAM9751.pdf – https://oatao.univ-toulouse.fr/18778/
BibTeXArnaud Oglaza, Romain Laborde, Pascale Zaraté, Abdelmalek Benzekri, François Barrère
Difficulties to enforce your privacy preferences on Android? Kapuer will help you (poster)
Dans : IEEE Consumer Communications and Networking Conference (CCNC 2016), Las Vegas, 08/01/16-11/01/16, IEEE : Institute of Electrical and Electronics Engineers, p. 315-316, 2016.
Résumé Accès : http://dx.doi.org/10.1109/CCNC.2016.7444795 – https://oatao.univ-toulouse.fr/17120/
BibTeXIbrahim Yonis Omar, Romain Laborde, Ahmad Samer Wazan, François Barrère, Abdelmalek Benzekri
G-Cloud on Openstack : Adressing access control and regulation requirements (regular paper)
Dans : The International Symposium on Networks, Computers and Communications (ISNCC 2015), Hammamat, Tunisia, 13/05/15-15/05/15, IEEE : Institute of Electrical and Electronics Engineers, p. 1-6, 2015.
Résumé Accès : http://dx.doi.org/10.1109/ISNCC.2015.7238578 – https://oatao.univ-toulouse.fr/16835/
BibTeXAhmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
Etude du concept de confiance pour les infrastructures à clés publiques (regular paper)
Dans : Gestion de REseaux et de Services (GRES 2014), Paris, 01/12/14-03/12/14, CNAM, (support électronique), 2014.
Romain Laborde, Bashar Kabbani, François Barrère, Abdelmalek Benzekri
An adaptive XACMLv3 policy enforcement point (regular paper)
Dans : IEEE International Workshop on Adaptive Systems for Communication Networks (WASCOM 2014), Västerås, Sweden, 21/07/14-25/07/14, IEEE Computer Society, p. 620-625, juillet 2014.
Résumé Accès : http://dx.doi.org/10.1109/COMPSACW.2014.104
BibTeXBashar Kabbani, Romain Laborde, François Barrère, Abdelmalek Benzekri
Managing Break-The-Glass using Situation-oriented authorizations (regular paper)
Dans : Conférence sur la Sécurité des Architectures Réseaux et Systèmes d’Information (SAR-SSI 2014), Saint-Germain-Au-Mont-d’Or (Lyon), France, 13/05/14-16/05/14, Archives ouvertes HAL, (en ligne), mai 2014.
Résumé Accès : http://sarssi14.liris.cnrs.fr/ressources/pdfs/sarssi2014_bkabbani.pdf – https://oatao.univ-toulouse.fr/13032/
BibTeXBashar Kabbani, Romain Laborde, François Barrère, Abdelmalek Benzekri
Specification and Enforcement of Dynamic Authorization Policies oriented by Situations (regular paper)
Dans : IFIP International Conference on New Technologies, Mobility and Security (NTMS 2014), Dubai, UAE, 30/03/14-02/04/14, IEEE Communications Society, p. 1-6, avril 2014.
Résumé Accès : http://dx.doi.org/10.1109/NTMS.2014.6814050
BibTeXAbdelmalek Benzekri, François Barrèrre, Romain Laborde, Bashar Kabbani
Managing Dynamic Authorization (regular paper)
Dans : Workshop on Code, Cryptography and Communication Systems, Meknes, Morocco, 07/11/13-08/11/13 (conférencier invité), Ecole Supérieure de Technologie, (en ligne), novembre 2013 (keynote speaker).
Résumé Accès : www.irit.fr/lien-a-venir
BibTeXHicham El Khoury, Romain Laborde, François Barrère, Abdelmalek Benzekri, Maroun Chamoun
Specification Method for Analyzing Fine Grained Network Security Mechanism Configurations (short paper)
Dans : Symposium on Configuration Analytics and Automation (SafeConfig 2013), Washington, D.C., USA, 16/10/13, IEEE : Institute of Electrical and Electronics Engineers, p. 483-487, 2013.
Résumé Accès : http://dx.doi.org/10.1109/CNS.2013.6682764 – https://oatao.univ-toulouse.fr/12724/
BibTeXAhmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri, David W. Chadwick
PKI Interoperability: Still an Issue? A Solution in the X.509 Realm (regular paper)
Dans : World Conference on Information Security Education, Auckland, New Zealand, 08/07/13-10/07/13, Vol. 406, Springer, IFIP Advances in Information and Communication Technology, p. 68-82, juillet 2013.
Résumé Accès : http://link.springer.com/chapter/10.1007/978-3-642-39377-8_8 – https://oatao.univ-toulouse.fr/15153/
BibTeXRomain Laborde, François Barrère, Abdelmalek Benzekri
Toward Authorization as a Service: A Study of the XACML Standard (regular paper)
Dans : Communications and Networking Symposium, San Diego, California, USA, 07/04/13-10/04/13, Vol. 45, Hassan Rajaei, Abdolreza Abhari (Eds.), Curran Associates, Inc., Simulation Series 3, p. 55-61, avril 2013.
Résumé Accès : http://dl.acm.org/citation.cfm?id=2499995 – https://oatao.univ-toulouse.fr/12467/
BibTeXHicham El Khoury, Romain Laborde, Maroun Chamoun, François Barrère, Abdelmalek Benzekri
A Generic Attribute-Based Model for Network Security Mechanisms Representation and Configuration (regular paper)
Dans : International Conference on Frontier of Computer Science and Technology (FCST 2012), Suzhou, China, 21/11/12-23/11/12, Soochow University, (support électronique), novembre 2012.
François Barrère, Romain Laborde, Abdelmalek Benzekri
Designing and deploying a secured VO for a wine geotraceability application (regular paper)
Dans : International Conference on Security and Management (SAM 2012), Las Vegas, USA, 16/07/12-19/07/12, Vol. ISBN: 1-60132-203-8, CSREA press, p. 1-7, 2012.
Résumé Accès : http://elrond.informatik.tu-freiberg.de/papers/WorldComp2012/SAM9747.pdf
BibTeXHicham El Khoury, Romain Laborde, François Barrère, Maroun Chamoun, Abdelmalek Benzekri
A Formal Data Flow-Oriented Model For Distributed Network Security Conflicts Detection (regular paper)
Dans : International Conference of Networking and Services (ICNS 2012), St. Maarten, The Netherlands Antilles, 25/03/12-30/03/12, Xpert Publishing Service (XPS), p. 20-27, 2012.
Résumé Accès : http://www.thinkmind.org/index.php?view=article&articleid=icns_2012_1_40_10088
BibTeXAhmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
The X.509 trust model needs a technical and legal expert (regular paper)
Dans : Workshop on Telecommunications: From Research to Standards (ICC’12 WS 2012), Ottawa, 10/06/12-11/06/12, IEEExplore digital library, p. 6895-6900, juin 2012.
Hicham El Khoury, Romain Laborde, François Barrère, Abdelmalek Benzekri, Maroun Chamoun
A Generic Data Flow Security Model (poster)
Dans : Symposium on Configuration Analytics and Automation (SafeConfig 2011), Arlington, VA, USA, 31/10/11-01/11/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-2, 2011.
Accès : http://dx.doi.org/10.1109/SafeConfig.2011.6111671
BibTeXHicham El Khoury, Romain Laborde, François Barrère, Abdelmalek Benzekri
Vers un modèle formel orienté flux de données pour l’analyse de politiques de sécurité réseau (regular paper)
Dans : Conférence sur la Sécurité des Architectures Réseaux et Systèmes d’Information (SAR-SSI 2011), La Rochelle, 18/05/11-21/05/11, IEEE Computer Society – Conference Publishing Services, p. 1-7, 2011.
Marwan Cheaito, Romain Laborde, François Barrèrre, Abdelmalek Benzekri
A deployment framework for self-contained policies (regular paper)
Dans : IEEE/IFIP International Conference on Network and Service Management (CNSM 2010), Niagara Falls -CANADA, 25/10/10-29/10/10, IEEE Communications Society, p. 88-95, janvier 2011.
Résumé Accès : http://dx.doi.org/10.1109/CNSM.2010.5691328
BibTeXAndré Aoun, Abdelmalek Benzekri, Michel Jacob, Bruno Roussel
Environnement virtuel d’apprentissage : Les interactions médiatisées au service de la gestion des compétences et du développement personnel (regular paper)
Dans : TICE Méditerranée (TICE Méditerranée 2010), Liban, 11/05/10-12/05/10, Université Antonine, p. 152-190, mai 2010.
Romain Laborde, Marwan Cheaito, François Barrère, Abdelmalek Benzekri
Vers un système dautorisation comme un service (regular paper)
Dans : Gestion de REseaux et de Services (GRES 2010), Montréal, Canada, 13/10/10-15/10/10, eFolia, (support électronique), novembre 2010.
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
Quality of Certificate: an indicator to improve the usability of X.509 Certificates (short paper)
Dans : Conférence sur la Sécurité des Architectures Réseaux et Systèmes d’Information (SAR-SSI 2010), Menton -France, 18/05/10-21/05/10, INRIA, (support électronique), 2010.
Marwan Cheaito, Romain Laborde, François Barrère, Abdelmalek Benzekri
Configurable Data Types in Policy Based Access Control Management: A Specification and Enforcement Framework (regular paper)
Dans : Conférence sur la Sécurité des Architectures Réseaux et Systèmes d’Information (SAR-SSI 2010), Menton -France, 18/05/10-21/05/10, INRIA, (support électronique), 2010.
Romain Laborde, Marwan Cheaito, François Barrère, Abdelmalek Benzekri
Toward self-contained authorization policies (short paper)
Dans : IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY 2010), Fairfax, Virginia Northern, USA, 21/07/10-23/07/10, IEEE Computer Society, p. 103-106, 2010.
Romain Laborde, Marwan Cheaito, François Barrèrre, Abdelmalek Benzekri
An extensible XACML authorization web service: Application to dynamic web sites access control (regular paper)
Dans : Workshop on Security and Privacy in Telecommunications and Information Systems (SePTIS 2009), Marrakech, Morocco, 29/11/09-04/12/09, IEEE Computer Society, p. 499-505, 2009.
Marwan Cheaito, Romain Laborde, François Barrère, Abdelmalek Benzekri
An extensible XACML authorization decision engine for context aware applications (regular paper)
Dans : International Conference on Pervasive Computing and Applications (ICPCA 2009), Tamkang University -Taiwan, 03/12/09-05/12/09, IEEE : Institute of Electrical and Electronics Engineers, (support électronique), décembre 2009.
Michel Kamel, Romain Laborde, François Barrère, Abdelmalek Benzekri
An organizational pattern for contributing to the deployment of secure Virtual Enterprises (regular paper)
Dans : International Conference on Security and Management (SAM 2009), Monte Carlo Resort, Las Vegas, Nevada, USA, 13/07/09-16/07/09, Vol. Volume 1, Hamid R. Arabnia (Eds.), University of Georgia, p. 56-61, juillet 2009.
Michel Kamel, Romain Laborde, François Barrère, Abdelmalek Benzekri
SecMaLET: a tool for establishing the chain of trust within a Virtual Enterprise (regular paper)
Dans : IFIP Network and Service Security Conference (N2S 2009), Paris – FRANCE, 24/06/09-26/06/09, Pascal Urien, Guy Pujolle (Eds.), IFIP, (support électronique), juin 2009.
Ahmad Samer Wazan, Romain Laborde, David W. Chadwick, François Barrère, Abdelmalek Benzekri
Which Web Browsers Process SSL Certificates in a Standardized Way?
Dans : IFIP TC-11 International Information Security Confernce (IFIP SEC 2009), Cyprus, 18/05/09-20/05/09, Springer, p. 432-442, mai 2009.
Résumé Accès : http://www.irit.fr/publis/SIERA/SSL-SEC2009.pdf
BibTeXAhmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
The X.509 certificate quality
Dans : IEEE International Conference on Digital Information Management (ICDIM 2008), Londres, 13/11/08-16/11/08, IEEE : Institute of Electrical and Electronics Engineers, p. 928-930, 2009.
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
Validating X.509 Certificates Based on Their Quality
Dans : International Symposium on Trusted Computing, ZhangJiaJie, China, 18/11/08-21/11/08, IEEE Computer Society, p. 2055-2060, 2008.
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri
Authentication in Virtual Organizations: a Reputation Based PKI Interconnection Model
Dans : International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies (SVM 2008), Munich, Germany, 21/10/08-22/10/08, Vol. 18, Springer, Communications in Computer and Information Science, p. 84-95, octobre 2008.
Michel Kamel, Romain Laborde, Abdelmalek Benzekri, François Barrère
A best practices-oriented approach for establishing trust chains within Virtual Organisations
Dans : International Workshop on Security and Privacy in Enterprise Computing (InSPEC 2008), Munich, Germany, 15/09/08-15/09/08, IEEE : Institute of Electrical and Electronics Engineers, (support électronique), 2008.
André Aoun, Abdelmalek Benzekri, Michel Jacob, Patrick Subra
Architecture d’un environnement coopératif pour une pédagogie sans frontière (regular paper)
Dans : TICE Méditerranée (TICE Méditerranée 2008), SFAX – Tunisie, 21/04/08-23/04/08, Vol. 32, Information Sciences for Decision Making, p. 28-41, avril 2008.
Résumé Accès : http://isdm.univ-tln.fr/PDF/isdm32/isdm32.pdf
BibTeXRomain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri
PEP = Point to Enhance Particularly
Dans : IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), IBM Palisades, 334 Route 9W, Palisades, NY 10964, USA, 02/06/08-04/06/08, IEEE Computer Society, p. 93-96, 2008.
Michel Kamel, François Barrère, Romain Laborde, Abdelmalek Benzekri
Un environnement de collaboration sécurisé pour les organisations virtuelles
Dans : Gestion de REseaux et de Services (GRES 2007), Hammamet,Tunisie, 06/11/07-09/11/07, Sami Tabbane, Zièd Choukair (Eds.), Ecole Supérieure des Communications de Tunis, (support électronique), novembre 2007.
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri
A secure collaborative web based environment for virtual organizations
Dans : International Workshop on Dynamic Virtual Communities : From Connectivity to Information Society, INSA de LYON, FRANCE, 29/10/07-29/10/07, IEEE : Institute of Electrical and Electronics Engineers, p. 723-730, 2007.
Michel Kamel, Romain Laborde, Abdelmalek Benzekri, François Barrère
Virtual Organizations: An ISO/IEC 17799-based tool for evaluating the maturity level of the organizations security practices
Dans : Latin American Network Operations and Management Symposium (LANOMS 2007), petropolis – Brasil, 10/09/07-12/09/07, Vol. IEEE Catalog Number: 07EX1769, IEEE : Institute of Electrical and Electronics Engineers, ISBN: 1-4244-1182-3 Library of Congress: 200792390, (support électronique), septembre 2007.
Michel Kamel, Abdelmalek Benzekri, François Barrère, Romain Laborde
Evaluating the conformity of an access control architecture for Virtual Organizations with ISO/IEC 17799
Dans : IEEE International Global Information Infrastructure Symposium (GIIS 2007), Marrakech – Morocco, 02/07/07-06/07/07, Nazim Agoulmine, Raouf Boutaba, Ahmed Serhrouchni (Eds.), IEEE : Institute of Electrical and Electronics Engineers, ISBN 1-4244-1375-3, p. 173-180, 2007.
Michel Kamel, Abdelmalek Benzekri, François Barrère, Romain Laborde
Evaluating the Virtual Organizations security solutions using the ISO/IEC 17799 standard
Dans : International Conference on Concurrent Enterprising (ICE 2007), Sophia-Antipolis, FRANCE, 04/06/07-06/06/07, Pawar Kulwant, Marc Pallot, Thoben Klaus-Dieter (Eds.), Centre for Concurrent Enterprise, University Business School, ISBN 978 0 85358 233 5 , p. 269-276, juin 2007.
Osman Salem, Abdelmalek Benzekri
Towards End-to-End QoS in Ad Hoc Networks (regular paper)
Dans : IFIP Wireless On demand Network Systems and Services (WONS 2006), Les ménuires France, 18/01/06-20/01/06, WONS2006, (en ligne), janvier 2006.
Osman Salem, Abdelmalek Benzekri
Towards Absolute End-to-End QoS in Ad Hoc Networks
Dans : Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), Guadeloupe, 19/02/06-25/02/06, IEEE : Institute of Electrical and Electronics Engineers, (en ligne), février 2006.
Résumé Accès : http://www2.computer.org/portal/web/csdl/doi/10.1109/AICT-ICIW.2006.195
BibTeXMichel Kamel, Abdelmalek Benzekri, François Barrère, Bassem Nasser
Information security management and trust establishment within a Virtual Organization network
Dans : International Symposium on Systems and Information Security (SSI 2006), Sao José dos Campos, Brésil, 08/11/06-10/11/06, José Maria Parente de Olivera, Carlos Becker Westphall, José Carlos Brustoloni (Eds.), Agencia Brasileria, (support électronique), novembre 2006.
Michel Kamel, Abdelmalek Benzekri, François Barrère, Bassem Nasser
Building virtual organizations compliant with the ISO/IEC 17799 directives
Dans : Gestion de REseaux et de Services (GRES 2006), Bordeaux, France, 09/05/06-12/05/06, Francine Krief (Eds.), LABRI, (support électronique), mai 2006.
Bassem Nasser, Romain Laborde, Abdelmalek Benzekri, François Barrère, Michel Kamel
Dynamic creation of inter-organizational grid Virtual Organizations
Dans : 1st IEEE International conference on eScience and Grid Computing, Australia, 05/12/05-08/12/05, //to appear in the proceedings, décembre 2005.
Résumé Accès : http://www.gridbus.org/escience/index.html
BibTeXBassem Nasser, Romain Laborde, Abdelmalek Benzekri, François Barrère, Michel Kamel
Access Control Model for Inter-organizational Grid Virtual Organizations
Dans : On the Move to Meaningful Internet Systems 2005: OTM 2005 workshops. MIOS+Interop Workshop, Cyprus, 31/10/05-01/11/05, Robert Meersmann, Zahir Tari, Pilar Herrero (Eds.), Springer-Verlag Berlin Heidelberg 2005, p. 537, octobre 2005.
Bassem Nasser, Romain Laborde, François Barrère, Abdelmalek Benzekri, Michel Kamel
A framework for dynamic creation of grid Virtual Organizations
Dans : Simposio Seguranca em Informatica (SSI 2005), Brésil, 08/11/05-11/11/05, Paulo Sérgio Motta Pires, Clovis Torres Fernandes (Eds.), Technological Institute of Aeronautics (ITA), (support électronique), novembre 2005.
Bassem Nasser, Abdelmalek Benzekri, Romain Laborde, Frédéric Grasset, François Barrère
Access Control Model for Grid Virtual Organizations
Dans : International Conference on Enterprise Information Systems, Miami, USA, 25/05/05-28/05/05, Chen Chin-Sheng , Filipe Joaquim , Seruca Isabel , Cordeiro José (Eds.), 972-8865-19-8, p. 152-158, mai 2005.
Romain Laborde, François Barrère, Abdelmalek Benzekri
A formal framework (Expression + Analysis) for network security mechanisms configuration
Dans : 4th IEEE International Symposium onNetwork Computing and Applications (IEEE NCA05), Cambridge, MA, USA, 27/07/05-29/07/05, IEEE Computer Society, ISBN 0-7695-2326-9, juillet 2005.
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri
Implementation of a formalsecurity policy refinement process in WBEM architecture
Dans : 4th Latin American Network Operations and Management Symposium (LANOMS 2005), Porto Alegre, 29/08/05-31/08/05, ISBN 85-76690-38-1, p. 65-76, août 2005.
Romain Laborde, François Barrère, Abdelmalek Benzekri
A security management information model derivation framework: from goals to configurations
Dans : 3rd international Workshop on Formal Aspects in Security and Trust (FAST2005), Newcastle Upon Tyne, 18/07/05-19/07/05, Springer, p. 215-232, juillet 2005.
Bassem Nasser, Abdelmalek Benzekri, Romain Laborde, François Barrère, Michel Kamel
Grid Virtual Organization: Access Control Management
Dans : GRES05: Gestion de REseaux et de Services, Luchon, France, 28/02/05-02/03/05, Abdelmalek Benzekri , Michelle Sibilla (Eds.), ISBN: 2-9520326-5-3, p. 283-295, février 2005.
Résumé Accès : http://www.irit.fr/gres05
BibTeXRomain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri
Un Modèle et un outil d’analyse formels pour la configuration des mécanismes de sécurité réseau
Dans : 6ème colloque francophone GRES¿2005, Luchon, France, 28/02/05-02/03/05, Abdelmalek. Benzekri , Michelle. Sibilla (Eds.), ISBN 2-9520326-5-3, p. 251-267, février 2005.
Abdelmalek Benzekri, Bassem Nasser, Romain Laborde, Frédéric Grasset, François Barrère
Hybrid distributed system security Case study: IMAGE middleware
Dans : Atelier Sécurité des Systèmes d’Information (SSI), Biarritz, 25/05/04.
Résumé Accès : http://inforsid2004.univ-pau.fr/workshop.htm
BibTeXOsman Salem, Abdelmalek Benzekri
An Algebraic Model of an Adaptive Extension of DiffServ for Mobile Ad Hoc Networks
Dans : Network Control and Engineering for QoS, Security and Mobility (Net-Con¿2004), Palma de Mallorca, Spain, 01/11/04-05/11/04, IFIP TC6 Conference, novembre 2004.
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri
The Degree of Reliability of Conducting M-Commerce Transactions Over Hotspot Networks
Dans : 7th International Conference on Electronic Commerce Research, Dallas, Texas, USA, 10/06/04-13/06/04, ICECR7, juin 2004.
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri
Security Issues of M-Commerce Over Hotspot Networks
Dans : IEEE Wireless Communications and Networking Conference, Atalanta, Georgia, USA, 21/03/04-25/03/04, IEEE, mars 2004.
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
Dans : 2nd International Workshop on Security Issueswith Petri Nets and other Computational Models (WISP’04), Bologna, Italy, Electronic Notes in Theoretical Computer Science, Volume 121, Elsevier, p. 117-142, juin 2004.
Résumé Accès : http://dx.doi.org/10.1016/j.entcs.2004.10.011
BibTeXRomain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri
Network Security Management: A Formal Evaluation Tool based on RBAC Policies
Dans : IFIP NetCon’2004, Palma de Mallorca, Spain, 03/11/04-05/11/04, D. Gaïti, S. Galmés, R. Puigjaner (Eds.), Springer ISBN 0-387-23197-8, p. 69-80, novembre 2004.
Osman Salem, Abdelmalek Benzekri
MODELLING AND ANALYZING DYNAMIC SOURCE ROUTING PROTOCOL WITH GENERAL DISTRIBUTIONS
Dans : ANALYTICAL AND STOCHASTIC MODELLING THECHNIQUES and APPLICATIONS (ASMTA’04), Magdeburg, Germany, 13/06/04-16/06/04, Khalid Al-Begain, Gunter Bolch (Eds.), Society for Modelling and Simulation International (SCS), p. 173-179, juin 2004.
Résumé Accès : http://www.irit.fr/~Osman.Salem/sub_page/publications.htm
BibTeXRomain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri
A formal tool for user based network security policy specification
Dans : International Workshop Security Analysis of Systems: Formalisms and Tools (SASYFT’04), Orléans, France, 21/06/04-22/06/04, Laboratoire d’Informatique Fondamentale d’Orléans, 4, rue Léonard de Vinci, BP 6759, F45067 Orléans cedex2, France – Technical Report N°2004-11, p. 1-18, juin 2004.
Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri
Une nouvelle technique pour l’évaluation formelle de mécanismes de sécurité réseaux
Dans : 3ème Conférence sur la Sécurité et Architectures Réseaux (SAR), La Londe, France, 21/06/04-25/06/04, Abdelmadjid Bouabdallah, Ahmed Serhrouchni (Eds.), X, p. 69-80, juin 2004.
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser
Automated inter-domain security policy generation
Dans : 11th Workshop of the HP OpenView University Association, Paris, 20/06/04-23/06/04.
Résumé Accès : http://aramis.iup.univ-evry.fr:8080/~nazim/hpovua2004/HPOVUA2004.htm
BibTeXOsman Salem, Abdelmalek Benzekri
Modélisation et évaluation de performances en exploitant l¿algèbre des processus stochastiques
Dans : 8ieme Atelier d¿Evaluation de Performances, Reims, France, 16/05/03-21/05/03, CNRS GDR ARP, p. 85-99, mai 2003.
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser
Un modèle de gestion de VPN basé sur les utilisateurs
Dans : Gestion de Réseaux et de Services (GRES), Fortaleza, Brésil, 24/02/03-28/02/03, Joaquim Celestino Jr., p. 255-267, février 2003.
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser
SPIDERNet : the Security Policy Derivation for Networks tool
Dans : 3rd IEEE Latin America Network Operations and Management Symposium (LANOMS), Iguaçu, Brazil, 04/09/03-06/09/03, Edmundo R. M. Madeira and Elias P. Duarte Jr., p. 29-36, septembre 2003.
Osman Salem, Abdelmalek Benzekri
A SOFTWARE PERFORMANCE EVALUATION APPROACH USING STOCHASTIC PROCESS ALGEBRA TOOLS
Dans : The 2003 International MultiConference in Computer Science and Engineering (SERP’03), Monte Carlo Resort, Las Vegas, Nevada, USA, 23/06/03-26/06/03, Ban Al-Ani, H.R. Arabina, Youngsong Mun (Eds.), CSREA Press, University of Georgia, GA, USAISBN: 1−892512−40−8, p. 62-67, juin 2003.
Résumé Accès : http://www.irit.fr/~Osman.Salem/sub_page/publications.htm
BibTeXOsman Salem, Abdelmalek Benzekri
FUNCTIONAL MODELING AND PERFORMANCE EVALUATION FOR TWO CLASS DIFFSERV ROUTER USING STOCHASTIC PROCESS ALGEBRA
Dans : 17th EUROPEAN SIMULATION MULTICONFERENCE, Nottingham – UK, 09/06/03-11/06/03, Editor: David Al-Dabass,ISBN: 3-936150-25-7, SCS-EUROPEAN PUBLISHING HOUSE, p. 257-262, juin 2003.
Rima Abdallah, Abdelmalek Benzekri, Ali El Hajj, Ibrahim Moukarzel
AN IMPROVED WBT MODEL FOR THE DEVELOPMENT AND INDEXING OF MULTIMEDIA LEARNING RESOURCES
Dans : World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA), Honolulu, Hawaii, USA, 23/06/03-28/06/03, Association for the Advancement of Computing in Education (AACE), P.O. Box 3728 Norfolk, VA 23514-3728 USAISBN 380094-48-7, p. 698-705, juin 2003.
Résumé Accès : http://dl.aace.org/12849
BibTeXFrançois Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser
Négociation de la politique de sécurité Inter-Domaines
Dans : SAR 2003 CONFERENCE FRANCOPHONE SECURITE ET ARCHITECTURE, Marrakech Maroc , 30/06/03-04/07/03, I. CHRISMENT – R. DSSOULI, INRIA Domaine de Voluceau – Roquencourt – BP 105 – 78153 Le Chesnay Cédex FRANCEDépot Légal: 200503 / 110ISBN 2 – 7261 – 1251 – X, p. 21-31, juin 2003.
Rima Abdallah, Ali El Hajj, Abdelmalek Benzekri, Ibrahim Moukarzel
An Improved WBT Model for Enhanced Interoperable and Reusable Environment
Dans : EC-VIP-MC 20034th EURASIP Conference focused on Video / Image Processing and Multimedia Communications, Zagreb, Croatia, 02/07/03-05/07/03, Mislav Grgic and Sonja GrgicISBN 953-184-054-7 (entire proceedings)Volume 1: 953-184-059-8Volume 2: 953-184-060-1, University of ZagrebFaculty of Electrical Engineering and ComputingDepartment of Radiocommunications and Microwave Engineering Unska 3 / XII HR-10000 Zagreb – CROATIAHR-10000 ZagrebCROATIA, p. 777-782, juillet 2003.
Abdelmalek Benzekri, Rima Abdallah, Ali El Hajj, Ibrahim Moukarzel
Research Trend on authoring environment for new methodological approach of lifelong e-learning
Dans : 4th International Conference on InformationTechnology Based Higher Education and Training, Marrakech, Morocco, 07/07/03-09/07/03, Amine Benkiran, APRIMt Publishing – Ecole Mohammadia d’Ingénieurs, BP 765 Agdal – Rabat, MoroccoPrint Version Legal Deposit: 2003/1065 ISBN: 9954-8352-0-2CD-ROM Version: 2003FI0031, p. 98-103, juillet 2003.
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser
Inter-Domains policy negociation
Dans : Policy 2003, Fourth International Workshop Policies for Distributed Systems and Networks – IEEE, Lake Como, Italy, 04/06/03-06/06/03, IEEE Computer Society, IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA 90720-1314, p. 239-242, juin 2003.
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri
Wireless SET: An approach for the deployment of SET over WAP mobile networks
Dans : Network Control and Engineering for QoS, Security and Mobility with focus on Policy-based Networking, NET-CON’2002, Paris, France, 23/10/02-25/10/02, Dominique Gaïti, Nadia Boukhatem, IFIP Conference Proceedings,235 Kluwer 2002, ISBN 1-4020-7268-6, p. 437-442, octobre 2002.
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri
A security approach combining the TLS/WTLS and SETprotocols for payment in m-commerce
Dans : 5th International Conference on Electronic Commerce Research (ICECR-2002), Montreal, Canada, 23/10/02-26/10/02, T.G. Crainic, B. Gavish, octobre 2002.
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri
A SET Based Approach to Secure the Payment in Mobile Commerce
Dans : The 27th Annual IEEE Conference onLocal Computer Networks (LCN), Tampa, Florida, USA, 07/11/02-08/11/02, Ken Christensen, IEEE, novembre 2002.
Qualitative and Quantitative Evaluation using Process Algebra
Dans : International Symposium on Computer and Information Sciences, Orlando, Floroda, USA, 28/10/02-30/10/02, Ilyas Cicekli – Nihan Kesim Cicekli – Erol Gelembe, CRC PRESS LLCBoca Raton London New York Washington D.C., p. 415-418, octobre 2002.
Résumé Accès : www.crcpress.com
BibTeXRima Abdallah, Abdelmalek Benzekri, Ali El Hajj, Ibrahim Moukarzel
On the use of e-learning standards in a WBT/E Model
Dans : Learning with technologies in School, home and community, Manchester,UK, 30/06/02-05/07/02, Gail Marshall, Yaacov Katz, 2393 Broadmont CourtChesterfieldMO 63017USAEmail: 74055.652@compuserve.comkatzya@isdn.net.ilkatzya@mail.biu.ac.il, p. 1-5, juin 2002.
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
Dans : Third International Workshop Policies for Distributed Systems and Networks – IEEE, Monterey, California, USA, 05/06/02-07/06/02, IEEE Computer Society – ISBN 0-7695-1611-4, IEEE Computer SocietyCustomer Service Center10662 Los Vaqueros CircleP.O. Box 3014Los Alamitos, CA 90720-1314, p. 224-227, juin 2002.
Gerard Hameetman, L.C.J. van Rijn , Abdelmalek Benzekri
Secure Distributed Collaboration with Heterogeneous Product Data Management and Workflow Systems
Dans : ENHANCE FORUM3, Toulouse, France, 23/04/02-24/04/02.
Accès : http://www.enhanceproject.com
BibTeXP. Obry, Dominique Gallais, Abdelmalek Benzekri
WEB BASED TRAINING
Dans : ENHANCE FORUM3, Toulouse, France, 23/04/02-24/04/02.
Accès : http://www.enhanceproject.com
BibTeXAbdelmalek Benzekri, François Barrère, J.D. van Putten
Secured Networking – Innovative IT
Dans : ENHANCE Forum 2 – Plennary Session, BRUSSELS, 03/04/01-05/04/01.
Abdelmalek Benzekri, François Barrère, Marie-Pierre Salles, J Martinez
Man Machine Demonstrator
Dans : ENHANCE Forum 2, BRUSSELS, 03/04/01-05/04/01.
Abdelmalek Benzekri, François Barrère, J.D. van Putten
Innovative IT demo lite secured networking
Dans : Enhance Forum 2 – La Hulpe, Brussels, 03/04/01-05/04/01.
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Yves Raynaud
Distribution de politiques IPSec
Dans : GRES 01 Gestion de Réseau et de Service4ème Colloque Francophone, Marrakech, Maroc, 17/12/01-21/12/01, Ecole Nationale Supérieure des TélécommunicationsGroupe des Ecoles des Télécommunications, 46 Rue Barrault 75634 Paris Cedex 13, p. 271-284, décembre 2001.
Rima Abdallah, Abdelmalek Benzekri, Ali El Hajj, Ibrahim Moukarzel
Intégration des fichiers Média dans WebCT pour l’enseignement à distance
Dans : 1er Colloque International sur les “défis de l’enseignement à distance”, Beyrouth, Liban, 27/09/01.
Industrie aéronautique Européenne : La formation à distance au service de l’ingénierie coopérative
Dans : 1er Colloque International sur “les défis de l’enseignement à distance”, Beyrouth, 27/09/01.
Abdelmalek Benzekri, François Barrère, Frédéric Grasset, Yves Raynaud
An Extended Enterprise security policy management architecture
Dans : HP Openview University Association 8th workshop, Berlin, Germany, 24/06/01-27/06/01.
Abdelmalek Benzekri, François Barrère, Frédéric Grasset, Romain Laborde, Yves Raynaud
A security Policy Management Architecture for the Extended Enterprise
Dans : 7th International Conference on Concurrent Enterprising, Bremen, Germany, 27/06/01-29/06/01, Klaus-Dieter Thoben, Frithjof Weber & Kulwant S Pawar, Centre for Concurrent Enterprising, University of Nottingham, UKISBN 0 85358 098 7, p. 181-186, juin 2001.
Accès : http://www.ice-2001.org
BibTeXAbdelmalek Benzekri, André Aoun, Gert Michiels
Integrating Web-based Training into Concurrent Engineering
Dans : 6th International Conference on Concurrent Enterprising, Toulouse, France, 28/06/00-30/06/00, Frithjof Weber & Kulwant S Pawar, ISBN 0 9519759 9 4Centre for Concurrent Enterprising University of Nottingham, UK, p. 317-325, juin 2000.
Accès : http://www.ice-2000.org
BibTeXSecured Networking illustrator
Dans : ENHANCE Forum 1, Warwick, UK, 06/04/00-07/04/00.
Abdelmalek Benzekri, Jean-François Berdjugin, Yves Raynaud
Different Approaches of an Invoice System with Z
Dans : Invoice’98,International Workshop on Specification Techniques, and Formal Methods, Faculté des Sciences et Des Techniques de l’Université de Nantes, Habrias, Nantes, janvier 1998.
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Z, langage de spécification de systèmes répartis temps réel
Dans : Conférence Francophone sur l’Ingénierie des Protocoles (CFIP’97), Liège, Belgique, 29/09/97-02/10/97, Hermès. ISBN 2-86601-639-4, septembre 1997.
Abdelmalek Benzekri, Jean-Michel Bruel
Controller Area Network: a formal case study
Dans : 2nd IEEE International Workshop on Factory Communication Systems (WFCS’97), Barcelona, Catalonia, Spain, 01/10/97-03/10/97, J.M. Fuertes and G. Juanole, octobre 1997.
Jean-Michel Bruel, Abdelmalek Benzekri
A Formal Study of the Controller Aera Network properties
Dans : Proceedings of the ISCA 10th International Conference on Computer Applications in Industry and Engineering (CAiNE’97), San Antonio, Texas USA, 10/12/97-12/12/97, Gordon K. Lee, décembre 1997.
Accès : http://www.webpress.net/isca/Caine-97-Call.htm
BibTeXF Maurice, Abdelmalek Benzekri, Yves Raynaud
Introducing a Rigorous Metrics Definition Into a Measurement Program
Dans : Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS’97), Albuquerque, New Mexico, Computer Society Press, Los Alamitos, CA, novembre 1997.
Yves Raynaud, Abdelmalek Benzekri, F Maurice
Evaluation and Improvement of Software and Processes Based on Measurement
Dans : Proceedings of the 2nd IEEE Workshop on High Assurance in Software Engineering (HASE’97), Washington, -, août 1997.
Abdo Abdulmalak, Abdelmalek Benzekri, Jean-Michel Bruel
Quality of Service analysis using Formal Methods
Dans : Quality of Service – Description, Modelling and Management (Proceedings of the 4th International IFIP Workshop on QoS), Paris, France, 06/03/96-08/03/96, Andreas Vogel and Jan de Meer, GMD-Studien Nr 282, p. 151-160, mars 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
Real-Time and Safety Critical Systems Specification: a Z-based Specification Environment
Dans : Proceedings of the ISCA 9th International Conference on Computer Applications in Industry and Engineering (CAiNE’96), Orlando, Florida, 11/12/96-13/12/96, ISCA, Raleigh, N, p. 44-47, décembre 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
A Z-based Approach to Specifying and Analyzing ComplexSystems
Dans : Proceedings of the Second IEEE International Conferenceon Engineering of Complex Computer Systems (ICECCS’96), Montreal, Canada, 21/10/96-25/10/96, IEEE Computer Society Press, Los Alamitos, CA, p. 336-343, octobre 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri, Yves Raynaud
A Real-Time Specification Environment based on Z and Graphical Object-Oriented Modeling Techniques
Dans : Proceedings of the IEEE High-Assurance Systems Engineering Workshop (HASE’96), Niagara-on-the-Lake, Canada, 21/10/96-22/10/96, IEEE Computer Society Press, Los Alamitos, CA, octobre 1996.
Abdelmalek Benzekri, Jean-Michel Bruel, Yves Raynaud
Z for the Specification of Real-Time Systems
Dans : Real-Time Systems’95, zklarska, Proeba, Poland, Oficyna Wydawnicza Politechniki Wroclawskiej, p. 81-96, septembre 1995.
Jean-Michel Bruel, Abdelmalek Benzekri, Yves Raynaud
Z and the Specification of Real-Time Systems
Dans : Proceedings of the 7th International Conference on Putting into Practice Methods and Tools for Information System Design – Z Twenty Years On, What Is Its Future?, Université de Nantes, France, 10/10/95-12/10/95, -, octobre 1995.
F Maurice, Abdelmalek Benzekri
A Definition and Application of a Methodology for Software Measurement
Dans : Software Quality Managenent, Université de Seville, -, avril 1995.
F Maurice, Abdelmalek Benzekri
A Methodology for Software Measurement
Dans : Software Quality Conference, Université d’Abertay Dundee, -, p. 327-335, juillet 1995.
Abdelmalek Benzekri, Michelle Sibilla
6ème colloque francophone sur la Gestion de Réseaux et de Services: De la conception à la gestion des services de nouvelles générations”, Luchon, France, 28/02/05 – 02/03/05, IRIT, 2005.
Abdelmalek Benzekri, Romain Laborde, Arnaud Oglaza, François Barrère, Sravani Teja Bulusu, Afonso Ferreira, Ahmad Samer Wazan
IoT Security threats and risk analysis
Handbook of Internet of Things, Springer, In press
Michel Kamel, Abdelmalek Benzekri, François Barrère, Romain Laborde
Securing virtual enterprise collaboration
Dans : Advances in Collaborative Civil Aeronautical Multidisciplinary Design Optimization. Ernst Kesseler (Eds.) , American Institute of Aeronautics and Astronautics (AIAA), p. 1-1, Progress in Astronautics and Aeronautics series, février 2010.
Résumé Accès : http://www.aiaa.org/content.cfm?pageid=360&id=1791
BibTeX
Evaluation qualitative et quantitative de logiciels distribués temps réel
Habilitation à diriger des recherches, Université Paul Sabatier, janvier 1998.
Arnaud Oglaza, Romain Laborde, Pascale Zaraté, Abdelmalek Benzekri, François Barrère
Difficulties to enforce your privacy preferences on Android? Kapuer will help you (poster)
Dans : IEEE Consumer Communications and Networking Conference (CCNC 2016), Las Vegas, 08/01/16-11/01/16, IEEE : Institute of Electrical and Electronics Engineers, p. 315-316, 2016.
Résumé Accès : http://dx.doi.org/10.1109/CCNC.2016.7444795 – https://oatao.univ-toulouse.fr/17120/
BibTeXHicham El Khoury, Romain Laborde, François Barrère, Abdelmalek Benzekri, Maroun Chamoun
A Generic Data Flow Security Model (poster)
Dans : Symposium on Configuration Analytics and Automation (SafeConfig 2011), Arlington, VA, USA, 31/10/11-01/11/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-2, 2011.
Accès : http://dx.doi.org/10.1109/SafeConfig.2011.6111671
BibTeX
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri, David W. Chadwick
Proposition summary to X.509 committee: Adding the role of technical and juridical expert to the X.509 trust model – ITU Study group 17 – TD 0131
avril 2013.
Résumé Accès : http://thailandpki.org/wp-content/uploads/ITU-Proposal-X509-April2013.pdf – https://hal.archives-ouvertes.fr/hal-02902193
BibTeXMichel Kamel, François Barrère, Abdelmalek Benzekri
Virtual Organizations: Information Security Management process
Présentation orale. octobre 2007. VIVACE project Forum3
Michel Kamel, François Barrère, Abdelmalek Benzekri
Securing a distributed collaborative workspace
Présentation orale. octobre 2007. VIVACE project Forum3
Michel Kamel, Abdelmalek Benzekri, François Barrère, Bassem Nasser
IT security for smaller businesses
Présentation orale. octobre 2006.
Résumé Accès : http://www.irit.fr/publis/SIERA/ITsecurityforsmallerbusinesses.ppt
BibTeXMichel Kamel, Abdelmalek Benzekri, François Barrère, Bassem Nasser
Deploying a distributed access control architecture within a VO network
Présentation orale. octobre 2006.
Résumé Accès : http://www.irit.fr/publis/SIERA/VOaccesscontrol.ppt
BibTeXAbdelmalek Benzekri, François Barrère, Michel Kamel
Enabling ICT area identified suppliers needs towards VIVACE research
Présentation orale. septembre 2005. VIVACE project Forum1
Accès : http://www.vivaceproject.com/content/forum1/9-4.pdf
BibTeX