原创力文档- 8
- 0
- 约 3页
- 2017-08-20 发布于安徽
- 举报
大企论文 ·9·
密码模块的形式化设计和验证研究
苗洁君 王 克
中国人民解放军信息工程大学电子技术学院 空军电子技术研究所
摘要：本文提出了运用形式化方法对密码模块进行辅助设计和验证的研究方向。首先介绍
密码模块的相关知识和研究背景，给出了如何用形式化方法验证密码模块的过程，
最后讨论在验证过程中可能存在的问题及解决方案。
美键词：密码模块形式化验证有限自动机
范围与环境。
一、简介
ModuleValidation
CMVP(Cryptographie Program密码
密码模块是指被容纳在加密边界范围中的执行 模块检验计划)用来验证密码模块是否满足FIPSl40
认可安全功能(包括加密算法与密钥的产生)的硬件，
文档评论（0）