密码模块的形式化设计和验证研究

作     者：苗洁君 王克 

作者机构：国人民解放军信息工程大学电子技术学院 空军电子技术研究所 

出 版 物：《计算机安全》 (Network & Computer Security)

年 卷 期：2006年第8期

页      码：33-35页

摘      要：该文提出了运用形式化方法对密码模块进行辅助设计和验证的研究方向。首先介绍密码模块的相关知识和研究背景,给出了如何用形式化方法验证密码模块的过程,最后讨论在验证过程中可能存在的问题及解决方案。

主 题 词：密码模块 形式化验证 有限自动机 

学科分类：1007[医学-药学类] 0839[0839] 08[工学] 10[医学] 

D　O　I：10.3969/j.issn.1671-0428.2006.08.015

馆 藏 号：203124774...