Showing 1 - 2 results of 2 for search 'Jihong Han', query time: 0.01s Refine Results
  1. 1
    Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

    Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic by Jihong Han, Zhiyong Zhou, Yadi Wang

    Published 2009-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM

    Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM by Qiang Li, Jihong Han, Lin Yuan, Xiangcheng Li, Xiaoyu Wang

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

Search Tools: