يعرض 1 - 10 نتائج من 411 نتيجة بحث عن '"Imine, Abdessamad"', وقت الاستعلام: 0.60s تنقيح النتائج
  1. 1
    دورية أكاديمية
  2. 2
    دورية أكاديمية
  3. 3
    دورية أكاديمية
  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
    دورية أكاديمية

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

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

  6. 6
    مؤتمر

    المساهمون: 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

  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)

    المصدر: 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

  8. 8
    مؤتمر

    المساهمون: 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

  9. 9
    مؤتمر

    المساهمون: 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

  10. 10
    مؤتمر

    المساهمون: 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