يعرض 1 - 10 نتائج من 901 نتيجة بحث عن '"security protocol"', وقت الاستعلام: 1.10s تنقيح النتائج
  1. 1
    دورية أكاديمية
  2. 2
    دورية أكاديمية
  3. 3
    دورية أكاديمية
  4. 4
    دورية أكاديمية
  5. 5
    مؤتمر

    المساهمون: École normale supérieure - Rennes (ENS Rennes), Security & PrIvaCY (SPICY), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

    المصدر: LICS ; https://inria.hal.science/hal-03981949Test ; LICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩

    جغرافية الموضوع: Boston, United States

    الوقت: Boston, United States

  6. 6
    دورية أكاديمية
  7. 7
    دورية أكاديمية
  8. 8
    دورية أكاديمية
  9. 9
    دورية أكاديمية
  10. 10
    دورية أكاديمية