Showing 1 - 1 results of 1 for search 'Xieli ZHANG', query time: 0.01s Refine Results
  1. 1
    Security protocol code analysis method combining model learning and symbolic execution

    Security protocol code analysis method combining model learning and symbolic execution by Xieli ZHANG, Yuefei ZHU, Chunxiang GU, Xi CHEN

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

Search Tools: