研究方向
  科研成果
  创新活动
  合作交流
最新动态
科研成果
【成果三】安全协议自动化设计原型系统
发布时间:  共有3481人查看

 本课题基于Strand Space 模型理论与Authentication Test 方法,实现了一套安全协议设计的原型系统 “安全协议自动化设计系统”。该原型系统可按用户要求方便地自动设计完全符合安全要求的认证协议、认证及密钥交换协议。系统通过生成合适的测试组元,选择有效的测试方法:采用优化匹配算法,实现了对两类安全协议的设计。系统具有优良的人机交互界面,采用游览器截面使得系统更易于扩展为分布式应用。

版权所有: 东南大学信息安全研究中心 2000-2014
地址:东南大学信息安全研究中心 邮编:210096
邮箱: qungu@seu.edu.cn [前台管理]