يعرض 11 - 20 نتائج من 507 نتيجة بحث عن '"Imine, Abdessamad"', وقت الاستعلام: 0.90s تنقيح النتائج
  1. 11
    تقرير
  2. 12
    تقرير
  3. 13
    مؤتمر

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

  4. 14
    مؤتمر

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

  5. 15
    تقرير
  6. 16
    تقرير
  7. 17
    تقرير
  8. 18
    مؤتمر

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

  9. 19
    مؤتمر

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

  10. 20
    تقرير

    المؤلفون: Imine, Abdessamad

    المصدر: EPTCS 30, 2010, pp. 78-92

    مصطلحات موضوعية: Computer Science - Software Engineering

    الوصول الحر: http://arxiv.org/abs/1007.5093Test