يعرض 1 - 10 نتائج من 373 نتيجة بحث عن '"Imine, Abdessamad"', وقت الاستعلام: 0.90s تنقيح النتائج
  1. 1
    دورية أكاديمية
  2. 2
    دورية أكاديمية
  3. 3
    دورية أكاديمية

    المصدر: International Journal of Intelligent Information and Database Systems ; volume 16, issue 3, page 286-315 ; ISSN 1751-5858 1751-5866

    مصطلحات موضوعية: Information Systems

  4. 4
    دورية أكاديمية

    المصدر: International Journal of Intelligent Information and Database Systems ; volume 16, issue 3, page 286-315 ; ISSN 1751-5858 1751-5866

    مصطلحات موضوعية: Information Systems

  5. 5
    مؤتمر

    المساهمون: Università degli Studi di Roma "La Sapienza" = Sapienza University Rome (UNIROMA), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), TC 11, WG 11.3, Ken Barker

    المصدر: Lecture Notes in Computer Science ; 35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec) ; https://inria.hal.science/hal-03463902Test ; 35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.338-356, ⟨10.1007/978-3-030-81242-3_20⟩

    جغرافية الموضوع: Calgary, AB

  6. 6
    مؤتمر

    المساهمون: Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

    المصدر: PST 2021 - 18th Annual International Conference on Privacy, Security and Trust ; https://inria.hal.science/hal-03480304Test ; PST 2021 - 18th Annual International Conference on Privacy, Security and Trust, Dec 2021, Auckland/Virtual, New Zealand

    جغرافية الموضوع: Auckland/Virtual, New Zealand

  7. 7
    مؤتمر

    المساهمون: Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), This work is supported by DIGITRUST (http://lue.univ-lorraine.fr/fr/article/digitrustTest/)., IMPACT-DIGITRUST, ANR-15-IDEX-0004,LUE,Isite LUE(2015)

    المصدر: DEXA 2020 - 31st International Conference on Database and Expert Systems Applications ; https://inria.hal.science/hal-02988123Test ; DEXA 2020 - 31st International Conference on Database and Expert Systems Applications, Sep 2020, Bratislava, Slovakia. pp.33-47, ⟨10.1007/978-3-030-59051-2_3⟩

    جغرافية الموضوع: Bratislava, Slovakia

  8. 8
    مؤتمر

    المساهمون: Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Lorraine (UL), IMPACT-DIGITRUST, ANR-15-IDEX-0004,LUE,Isite LUE(2015)

    المصدر: SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing ; https://inria.hal.science/hal-02974078Test ; SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩

    جغرافية الموضوع: Brno, Czech Republic

  9. 9
    مؤتمر

    العلاقة: 16th IEEE/ACM International Conference on Cooperative and Human Aspects of Software Engineering, CHASE 2023; 16th IEEE/ACM International Conference on Cooperative and Human Aspects of Software Engineering (CHASE 2023); https://hdl.handle.net/11420/42425Test; 2-s2.0-85165207859

  10. 10
    مؤتمر

    المساهمون: Université de Lorraine (UL), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Stefanos Gritzalis, Edgar Weippl, Sok Katsikas, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil, IMPACT-DIGITRUST

    المصدر: TrustBus 2019 - 16th International Conference on Trust, Privacy and Security in Digital Business ; https://hal.univ-lorraine.fr/hal-02271825Test ; TrustBus 2019 - 16th International Conference on Trust, Privacy and Security in Digital Business, Aug 2019, Linz, Austria. pp.145--160, ⟨10.1007/978-3-030-27813-7_10⟩

    جغرافية الموضوع: Linz, Austria