publications:
- title: "Automatic Enforcement of Security in Computer Networks"
  author:
  - name: "T. Mechri"
    link: "https://researchr.org/alias/t.-mechri"
  - name: "Mahjoub Langar"
    link: "http://ww"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Yutaka Funyu"
    link: "https://researchr.org/alias/yutaka-funyu"
  year: "2007"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/MechriLMFF07"
  cites: 0
  citedby: 0
  pages: "200-222"
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Domenico M. Pisanelli"
    link: "http://www"
  volume: "161"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-794-9"
  kind: "inproceedings"
  key: "MechriLMFF07"
- title: "Static analysis of Lyee requirements"
  author:
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "M. M. Erhioui"
    link: "http://e"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.002"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/MejriKFE03"
  cites: 0
  citedby: 0
  journal: "Knowl.-Based Syst."
  volume: "16"
  number: "7-8"
  pages: "361-382"
  kind: "article"
  key: "MejriKFE03"
- title: "Enforcing Security Policies Using Algebraic Approach"
  author:
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  tags:
  - "security"
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MejriF08"
  cites: 0
  citedby: 0
  pages: "84-98"
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the seventh SoMeT 2008, October 15-17,2008, Sharjah, United Arab Emirates"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Imran A. Zualkernan"
    link: "http://ww"
  volume: "182"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-916-5"
  kind: "inproceedings"
  key: "MejriF08"
- title: "Implementing Lyee-Calculus in Java"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Mohamed Mejri"
    link: "http://www"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.knosys.2005.10.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2005.10.004"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/FujitaKM06"
  cites: 0
  citedby: 0
  journal: "Knowl.-Based Syst."
  volume: "19"
  number: "2"
  pages: "116-129"
  kind: "article"
  key: "FujitaKM06"
- title: "Formal Specification and Analysis of Firewalls"
  author:
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Kamel Adi"
    link: "https://researchr.org/alias/kamel-adi"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-284"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-284"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/MejriAF09"
  cites: 0
  citedby: 0
  pages: "284-293"
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Vladimír Marík"
    link: "http://e"
  volume: "199"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-60750-049-0"
  kind: "inproceedings"
  key: "MejriAF09"
- title: "A process algebra to formalize the Lyee methodology"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.006"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/FujitaMK04"
  cites: 0
  citedby: 0
  journal: "Knowl.-Based Syst."
  volume: "17"
  number: "5-6"
  pages: "263-281"
  kind: "article"
  key: "FujitaMK04"
- title: "LyeeBuilder"
  author:
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Daniel Godbout"
    link: "http://ww"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2005"
  researchr: "https://researchr.org/publication/KtariMGF05"
  cites: 0
  citedby: 0
  pages: "83-99"
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  volume: "129"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  kind: "inproceedings"
  key: "KtariMGF05"
- title: "Secrecy of cryptographic protocols under equational theory"
  author:
  - name: "Hanane Houmani"
    link: "http://e"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.004"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/HoumaniMF09"
  cites: 0
  citedby: 0
  journal: "Knowl.-Based Syst."
  volume: "22"
  number: "3"
  pages: "160-173"
  kind: "article"
  key: "HoumaniMF09"
- title: "Toward a new software development environment"
  author:
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Daniel Godbout"
    link: "http://ww"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.006"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KtariFMG07"
  cites: 0
  citedby: 0
  journal: "Knowl.-Based Syst."
  volume: "20"
  number: "7"
  pages: "683-693"
  kind: "article"
  key: "KtariFMG07"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada"
  year: "2006"
  researchr: "https://researchr.org/publication/somet%3A2006"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  volume: "147"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-673-7"
  kind: "proceedings"
  key: "somet:2006"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan"
  year: "2005"
  researchr: "https://researchr.org/publication/somet%3A2005"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  volume: "129"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  kind: "proceedings"
  key: "somet:2005"