收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

Andrew Secure RPC协议的一种组合分析方法

刘跃军  王红旗  杨强  
【摘要】:逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 王万章;戴世宗;;DG2—控制器的微程序[J];计算机工程与科学;1980年03期
2 ;关于本文的学术讨论[J];四川大学学报(工程科学版);1980年02期
3 Zohar Manna;Richard Waldinger;栾季生;;计算机程序设计的逻辑学[J];计算机科学;1981年01期
4 Zohar Manna;Richard Waldinger;栾季生;;计算机程序设计的逻辑学(续)[J];计算机科学;1981年02期
5 吴以文;;科技档案的分类[J];中国档案;1982年01期
6 刘昌运;;图书分类理论杂议[J];图书馆杂志;1982年04期
7 林之达;;论情报定义——兼与陆嘉德同志商榷[J];图书情报工作;1982年03期
8 安慧;;怎样进行情报研究(☆☆)[J];情报科学;1983年02期
9 ;书海撷采[J];编辑之友;1983年04期
10 李樱;;中国目录学史的研究方法[J];新世纪图书馆;1983年02期
中国重要会议论文全文数据库 前10条
1 詹剑峰;;学习毛泽东同志的逻辑理论[A];逻辑学文集[C];1978年
2 伍雄武;;评“四人帮”对公理法的否定[A];逻辑学文集[C];1978年
3 马兵;;略论真值表法与分支法[A];全国逻辑讨论会论文选集[C];1979年
4 李建钊;;论孟子“好辩”[A];全国逻辑讨论会论文选集[C];1979年
5 李小五;;逻辑教学现代化的一次尝试——《新逻辑教程》评介[A];1993年逻辑研究专辑[C];1993年
6 黄华新;;略论预设的分类、析出和利用[A];1995年逻辑研究专辑[C];1995年
7 刘建能;;思维方法与中国特色社会主义理论——党校系统’94逻辑学术讨论会述评[A];1995年逻辑研究专辑[C];1995年
8 许锦云;;普通逻辑中的概念应改为词项[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
9 王源生;;划分规则新说[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
10 胡满场;;“属种关系”在明确概念中的作用[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
中国博士学位论文全文数据库 前5条
1 侯新杰;物理学史与物理教学结合的理论与实践研究[D];华东师范大学;2005年
2 李强;中小家族企业融资结构:一个企业家的视角[D];中国人民大学;2005年
3 刘长喜;利益相关者、社会契约与企业社会责任[D];复旦大学;2005年
4 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
5 周璇;胡适、冯友兰、金岳霖的逻辑方法研究[D];黑龙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 曾友中;模拟市场经济条件下官格的定位及培育[D];湘潭大学;2001年
2 宁莉娜;逻辑方法:在哲学的视野内[D];黑龙江大学;2001年
3 文海鸿;逻辑经验主义的分析与综合命题理论述评[D];西南师范大学;2001年
4 陈华华;基于多值方法的模糊逻辑研究[D];浙江大学;2002年
5 郭大硕;韩医对《金匮要略》之研究[D];成都中医药大学;2002年
6 杜彩云;侦查假说几个问题的探讨[D];中国政法大学;2002年
7 宋英俊;论诊断假说[D];西南师范大学;2003年
8 焦志伟;决策过程中的逻辑应用[D];河南大学;2003年
9 李乐;数字时代网络出版及其人性化表现[D];河南大学;2003年
10 宋赛花;梁启超的逻辑——方法论思想述评[D];华东师范大学;2001年
中国重要报纸全文数据库 前10条
1 杨春茂;在德国感受哲学[N];人民日报海外版;2000年
2 ;什么是科学?[N];西藏日报;2001年
3 朱砂;逻辑证明的运用[N];云南经济日报;2001年
4 长江证券研究所 陈鹤;安然破产案的警示[N];证券时报;2001年
5 关洪;爱因斯坦之理论研究探讨[N];科学时报;2002年
6 记者 杨云慧;教师培训创设新模式[N];中国教育报;2003年
7 江苏省溧阳市溧城中心小学 史勤蒙;明了数学的方法[N];中国教育报;2003年
8 王渝生;几何之父欧几里得[N];大众科技报;2003年
9 余爱华;浅谈视听资料的证据效力[N];江苏经济报;2003年
10 余爱华;浅析视听资料的证据效力[N];人民法院报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978