高鑫鑫
- 作品数：2 被引量：0H指数：0
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 几种密码协议验证工具的比较和分析
- 从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并...
- 李亚敏帅飞高鑫鑫
- 文献传递
- 几种密码协议验证工具的比较和分析
- 从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并...
- 李亚敏帅飞高鑫鑫
- 关键词：密码协议
- 文献传递
