收藏本站
《第二十一次全国计算机安全学术交流会论文集》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

【共引文献】
中国期刊全文数据库 前10条
1 刘玉璇;宫云战;杨朝红;;多线程故障分析及解决方法[J];北京化工大学学报(自然科学版);2007年S1期
2 张姝;张广泉;;UML顺序图的一种形式化描述方法[J];重庆师范大学学报(自然科学版);2007年03期
3 刘玉坤;赵伟艇;;NS公钥协议新的分析方法[J];电脑知识与技术;2010年12期
4 苗洁君;王克;;密码模块的形式化设计和验证研究[J];计算机安全;2006年08期
5 龙世荣;汪宏海;张广泉;;一种基于时间自动机的实时工作流时序约束建模方法[J];广西教育学院学报;2010年01期
6 张磊;马光胜;修建新;;任务网络到时间自动机的等价模型验证[J];计算机工程;2012年13期
7 徐小丽;;基于SPIN的系统建模研究[J];计算机与现代化;2012年09期
8 刘传会;张广泉;;一种基于时间自动机网络的实时系统形式化验证方法[J];苏州大学学报(自然科学版);2008年01期
9 陈道喜;陈冬火;张广泉;;TCP协议的安全性和活性验证[J];苏州大学学报(自然科学版);2008年01期
10 陈道喜;陈冬火;张广泉;;NS密码协议的模型检测分析[J];苏州大学学报(工科版);2008年03期
中国重要会议论文全文数据库 前1条
1 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
中国博士学位论文全文数据库 前10条
1 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
4 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
5 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
6 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
7 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 肖攸安;网络信息安全中的椭圆曲线公钥密码体系的研究[D];武汉理工大学;2003年
10 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 马宇驰;可信计算环境中基于CPK的若干安全协议的设计与分析[D];解放军信息工程大学;2009年
2 苗留洋;基于L~*学习算法和假定—保证规则的组合验证[D];郑州大学;2011年
3 赵远;对CPK的改进及基于CPK的电子支付协议设计与分析[D];解放军信息工程大学;2009年
4 郑强;基于SPIN的802.1X协议形式化验证和改进[D];华东理工大学;2012年
5 吕晓冬;加密协议的一种分析方法[D];郑州大学;2001年
6 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年
7 刘秀英;计算机通信网安全协议形式化分析研究[D];西安电子科技大学;2004年
8 郭丽红;轻量级目录访问协议分析与安全检测[D];长春理工大学;2004年
9 董卫;基于Petri网的密码协议分析[D];山东科技大学;2005年
10 王芷玲;网络安全协议形式化分析技术研究[D];西安电子科技大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 鲍丰;关于弱可逆有限自动机延迟步数分解的两个结果[J];计算机学报;1993年08期
2 袁永升;兰亚坤;;有限自动机的逻辑流程图分析法[J];东北师大学报(自然科学版);1993年03期
3 王恺,靳简明,王庆人;西文OCR后处理中的有限自动机模型[J];计算机工程与应用;2004年23期
4 周德玉;有限自动机的变换半群和它识别的信息[J];重庆大学学报(自然科学版);1989年01期
5 彭召意,许中华,蒋伟进,杨伟丰;一种基于有限自动机的多线程软件设计方法[J];福建电脑;2004年04期
6 朱云飞,张衡,罗铸楷;有限自动机的线性化[J];湘潭大学自然科学学报;1999年01期
7 周晔,黄永忠,郭金庚;类信息的提取技术及应用[J];计算机应用研究;2001年09期
8 李峰;基于KMP算法的有限自动机的确定化[J];重庆三峡学院学报;2005年03期
9 袁永昇;有限自动机RTL描述的一种有效逻辑转换[J];计算机学报;1990年06期
10 王鸿吉;分解弱可逆有限自动机的两个结果[J];计算机研究与发展;2005年04期
中国重要会议论文全文数据库 前10条
1 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
2 黎中文;张来顺;肖健鹏;;改进的UIO序列生成算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
3 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
4 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
5 唐超;刘辰;杨正球;;使用多层迭代分析和分类网页文档的方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 陶惠良;杨正球;;基于Struts+Spring的易维护软件流程设计与实现[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 董聪;;随机DEDS的模型体系与算法结构(Ⅰ)[A];1998中国控制与决策学术年会论文集[C];1998年
8 蒋志明;丁利华;;离散事件动态系统的代数特征[A];1994中国控制与决策学术年会论文集[C];1994年
9 陈奕军;辛阳;杨义先;钮心忻;;应用于包过滤技术的快速多模式匹配算法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 艾山·吾买尔;吐尔根·依不拉音;早克热·卡德尔;;维吾尔语名词词干提取算法的研究[A];第四届全国信息检索与内容安全学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 王鸿吉;可逆有限自动机的结构与分解[D];中国科学院研究生院(软件研究所);2005年
2 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
3 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年
4 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
5 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
6 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年
7 孙军梅;基于形式方法面向服务的Web软件开发技术研究[D];上海大学;2008年
8 史建琦;面向目标代码的实时操作系统形式化验证方法研究[D];华东师范大学;2012年
9 吴明晖;面向服务的语义模型驱动企业应用软件开发方法及关键技术研究[D];浙江大学;2011年
10 孙玉强;并行语法分析中几类算法的设计与研究[D];西安电子科技大学;2008年
中国硕士学位论文全文数据库 前10条
1 刘跃霞;语言半环上的有限自动机的推广[D];太原科技大学;2010年
2 林添荣;量子有限自动机等价性判定研究[D];福建师范大学;2011年
3 任宏宇;基于有限自动机的软件行为模型评价方法研究[D];北京理工大学;2011年
4 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年
5 杨汉明;基于CPS的实时系统的面向方面的形式化验证方法[D];广东工业大学;2011年
6 陈霄凯;有限自动机(FA)在测控程序自动生成中的应用研究[D];华北电力大学(河北);2004年
7 孟青慧;黑白图像压缩的自动机方法[D];太原科技大学;2011年
8 欧晓华;两类自动机的乘积研究[D];电子科技大学;2010年
9 朱贤成;工业控制领域中基于有限自动机的软件开发模型研究[D];华中科技大学;2007年
10 孙志强;基于半环代数理论的有限自动机的探讨[D];太原科技大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026