|
个人信息：Personal Information
教授 博士生导师 研究生导师
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机系统结构
电子邮箱：
扫描关注
A new method to deduce counterexamples in secure routing protocols based on strand space model
点击次数：
所属单位：计算机学院
发表刊物：SECURITY AND COMMUNICATION NETWORKS（CCF C）
第一作者：Dong, Xuewen^Yang, Chao^Sheng, Lijie^Wang, Chao^Ma, Jianfeng
论文类型：Article
论文编号：SCI WOS:000398221800073
卷号：9
期号：18
页面范围：5834-5848
ISSN号：1939-0114
是否译文：否
发表时间：2016-01-01
收录刊物：SCI