• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. Analyzing and verifying Petri net model of security protocol based on Maria SCOPUS EI 期刊论文 会议论文 认领

作者:Wang Y.;Zhou J.;Li H.;Hao Y.

作者全称:Wang, Yan;Zhou, Jiantao;Li, Hua;Hao, Ying

作者机构:[Wang, Yan ;Zhou, Jiantao ;Li, Hua ;Hao, Ying ] College of Computer Science, Inner Mongolia University, Huhhot 010021, Inner Mongolia, China;[Wang, Ya 更多

第一作者:Wang, Yan

通讯作者:Wang, Y.(cswy@imu.edu.cn)

通讯作者地址:Wang, Y.; College of Computer Science, Inner Mongolia University, Huhhot 010021, Inner Mongolia, China; 电子邮件: cswy@imu.edu.cn

来源:ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings,2010,Vol.2

基金:Shanxi University;Taiyuan University of Technology;Taiyuan University of Science and Technology;Shanxi Normal University

摘要:Formal specification and analysis of security protocol is a research hotspot in network security at present. This paper models authentication service 更多

更新时间:Mar 28, 2019
TOP