Showing 1 - 1 results of 1 for search 'Mingtao Ni', query time: 0.01s Refine Results
  1. 1
    LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π-Calculus Extension Theory

    LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π-Calculus Extension Theory by Fusheng Wu, Jinhui Liu, Yanbin Li, Mingtao Ni

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

Search Tools: