Showing 1 - 2 results of 2 for search '李伟琴', query time: 0.01s Refine Results
  1. 1
    网络支付协议的形式化安全需求及验证逻辑

    网络支付协议的形式化安全需求及验证逻辑 by 刘怡文, 李伟琴

    Published 2004-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    密码协议的一种基于组合推理的模型验证

    密码协议的一种基于组合推理的模型验证 by 刘怡文, 李伟琴, 冯登国

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

Search Tools: