Supervisor of Master's Candidates
School/Department:计算机科学与数学学院
Administrative Position:福建理工大学 智能信息处理研究中心 主任
Education Level:Postgraduate (Doctoral)
Business Address:福建理工大学北校区 C4-216
Contact Information:E-mail: jack8375@gmail.com, xue.xingsi@fjut.edu.cn, xxs@fjut.edu.cn
Degree:Doctoral degree
Status:Employed
Academic Titles:中国计算机学会 福州分部 秘书长
Alma Mater:西安电子科技大学
Discipline:Computer science and technology
Honors and Titles:
ACM中国新星奖 The Tenth International Conference on Genetic and Evolutionary Computing (ICGEC 2016), Excellent Paper Award
The Last Update Time: ..
Release time:2018-06-04 Hits:
Affiliation of Author(s):计算机科学与数学学院
Journal:福建工程学院学报
Funded by:其他课题
Key Words:安全协议; 形式化; DY模型; 攻击者; Otway-Rees协议
Abstract:：攻击者建模是安全协议验证工作的一个重要部分，直接影响到验证的效率与质量，但目前却还没有一个可遵循的形式化框架，影响了建模工作的准确性与客观性。针对这一问题，通过对在安全协议验证中具有广泛影响的DY模型进行形式化，建立了一个DY模型的构建框架，刻画了攻击者的构成要素、行为规则以及行为模式，从而保证了攻击者具有合理的行为与能力，并能在攻击过程中获取新的知识，不断增强攻击能力。最后，将该工作运用到Otway-Rees协议的验证中，找出了该协议中所存在的漏洞，从而证明了该构建框架的有效性。
Note:20151203信息学院审核通过
Indexed by:Journal paper
Document Code:7427
Volume:13
Issue:3
Page Number:239-243
ISSN No.:1672-4348
Translation or Not:no
CN No.:35-1267/Z
Date of Publication:2015-06-01
Current position: