北京邮电大学学报

  • EI核心期刊
模型检测中可变攻击者模型的构造
杨元原,马文平,刘维博
The Construction of Changeable Intruder Model in Model Checking
北京邮电大学学报 . 2011, (2): 54 -57 .  DOI: 10.13190/jbupt.201102.54.yangyy

版权所有 © 2018 《北京邮电大学学报》编辑部 京ICP备14033833号     在线人数：今日访问 当前在线 总访问

通信地址：北京市海淀区西土城路10号北京邮电大学195信箱    邮编：100876    电话：(010)62281995    QQ：307514248    微博    留言    电子邮箱：byxb@bupt.edu.cn