作者：苗洁君; 王克密码模块形式化验证有限自动机
摘要：该文提出了运用形式化方法对密码模块进行辅助设计和验证的研究方向。首先介绍密码模块的相关知识和研究背景，给出了如何用形式化方法验证密码模块的过程，最后讨论在验证过程中可能存在的问题及解决方案。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机安全》是一本有较高学术价值的月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《计算机安全》办刊方针：为网与计算机信息系统安全用户服务。更普及、更实用、更贴近读者。
部级期刊
人气 230163 评论 65
人气 214642 评论 35
省级期刊
人气 213110 评论 71
北大期刊、统计源期刊
人气 193053 评论 73
