Showing 1 - 2 results of 2 for search '"ProVerif"', query time: 0.03s Refine Results
  1. 1
    Analysis for e-commerce protocols based on ProVerif

    Analysis for e-commerce protocols based on ProVerif by GUO Yun-chuan1, DING Li3, ZHOU Yuan3, GUO Li1

    Published 2009-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Smart Home Security: An Efficient Multi-Factor Authentication Protocol

    Smart Home Security: An Efficient Multi-Factor Authentication Protocol by Ghazaleh Sarbishaei, Amir Masoud Aminian Modarres, Farahnaz Jowshan, Fateme Zahra Khakzad, Hasti Mokhtari

    Published 2024-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: