Showing 541 - 542 results of 542 for search '((((verifications OR verifications) OR verification) OR modifications) OR modification)', query time: 0.08s Refine Results
  1. 541

    Design and Analysis of Lightweight Authentication Protocol for Securing IoD by Saeed Ullah Jan (9079260)

    Published 2021
    “…Its security has been verified formally using Random Oracle Model (ROM), ProVerif2.02 and informally using assumptions and pragmatic illustration. …”
  2. 542