李娅楠
作品数： 7被引量：39H指数：5
  • 所属机构:华东交通大学软件学院
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:江西省自然科学基金

相关作者

肖美华
作品数：89被引量：238H指数：8
供职机构：华东交通大学
研究主题：形式化方法 SPIN 安全协议 形式化分析 形式化
李伟
作品数：11被引量：43H指数：5
供职机构：华东交通大学软件学院
研究主题：形式化方法 SPIN OAUTH 信息泄露 授权协议
作品列表