期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
门罗的形式分析方法论述评
1
作者 宁海林 《兵团教育学院学报》 2003年第1期32-34,共3页
托马斯·门罗十分重视美学方法论的研究 ,他从研究艺术作品的角度切入美学 ,尤其对艺术作品的形式给予特殊的关注 ,总结出一套关于艺术形式分析的方法 ,并将其提升为美学的形式分析方法论。其方法论有一定的科学性和可操作性 。
关键词 托马斯·门罗 美学方法 艺术作品 形式分析方法 艺术研究
下载PDF
安全协议的形式化分析方法研究 被引量:3
2
作者 陈平 刘东喜 白英彩 《计算机应用与软件》 CSCD 北大核心 2003年第5期48-50,71,共4页
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化... 安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。 展开更多
关键词 通信协议 安全协议 形式分析方法 信息安全 网络安全 计算机网络
下载PDF
一种改进的基于认证测试的形式化分析方法 被引量:1
3
作者 姚萌萌 朱正超 刘明达 《信息网络安全》 CSCD 北大核心 2019年第1期27-33,共7页
近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常... 近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷。基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议。分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议。 展开更多
关键词 串空间 认证测试 形式分析方法 安全协议
下载PDF
认证协议的形式逻辑分析方法——BAN类逻辑综述 被引量:2
4
作者 束妮娜 王亚弟 《计算机应用研究》 CSCD 北大核心 2002年第9期17-20,共4页
介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。
关键词 认证协议 形式逻辑分析方法 BAN类逻辑 信仰逻辑 密码 推理规则
下载PDF
密码协议形式化分析方法研究 被引量:5
5
作者 王汝传 《信息网络安全》 2005年第7期24-26,共3页
项目背景 南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK200421 8)、江... 项目背景 南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK200421 8)、江苏省高技术研究计划(BG2004004)、国家高科技项目八六三(2004AA775053)、江苏省计算机信息处理技术重点实验室基金(kjs03061和kjs04)资助.该文对当前密码协议的主要形式化分析方法进行了总结和概述,依据其不足或缺陷提出了一些改进的思路,并探讨了密码协议形式化分析方法今后的发展趋势. 展开更多
关键词 形式分析方法 密码协议 计算机信息处理技术 国家自然科学基金 2001年 重点实验室 江苏省 计算机系 研究课题 研究计划 科技项目 发展趋势
下载PDF
安全协议的形式化分析方法初探
6
作者 郭宇燕 《内江科技》 2007年第11期136-136,共1页
安全协议是网络安全的重要因素,但是它并不完善,我们需要用形式化的方法去分析它是否具有相应的安全属性。本文主要分析了三类典型的安全协议形式化分析方法,研究这些方法的基本思想和优缺点,并提出了形式化分析方法中存在的问题及可行... 安全协议是网络安全的重要因素,但是它并不完善,我们需要用形式化的方法去分析它是否具有相应的安全属性。本文主要分析了三类典型的安全协议形式化分析方法,研究这些方法的基本思想和优缺点,并提出了形式化分析方法中存在的问题及可行的解决办法。 展开更多
关键词 安全协议 形式分析方法 安全属性
下载PDF
基于递归认证测试的SIP协议形式化分析
7
作者 姚萌萌 王宇 洪瑜平 《信息网络安全》 CSCD 北大核心 2024年第10期1586-1594,共9页
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过... 文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。 展开更多
关键词 SIP协议 递归认证测试 串空间 形式分析方法
下载PDF
一种颜色Petri网的电子商务协议分析方法 被引量:1
8
作者 王宝文 卢贝 +1 位作者 司亚利 刘文远 《小型微型计算机系统》 CSCD 北大核心 2013年第11期2594-2598,共5页
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,... 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性. 展开更多
关键词 形式分析方法 电子商务协议 颜色PETRI网 CPN TOOLS KZG协议
下载PDF
论欧盟核心知识产权反竞争行为——运用更经济学分析方法
9
作者 李霞 《北方经贸》 2014年第3期84-85,共2页
《欧盟运行条约》第102条采用更经济学分析方法已是大势所趋,但在核心知识产权领域,欧盟判例法中一贯倾向于形式主义分析方法的态度和欧盟委员会《关于支配地位企业的排他性滥用行为适用欧共体条约第82条的实施指南》本身的不明确性,决... 《欧盟运行条约》第102条采用更经济学分析方法已是大势所趋,但在核心知识产权领域,欧盟判例法中一贯倾向于形式主义分析方法的态度和欧盟委员会《关于支配地位企业的排他性滥用行为适用欧共体条约第82条的实施指南》本身的不明确性,决定了短期内运用此方法分析核心知识产权反竞争行为困难重重。 展开更多
关键词 更经济学分析方法 形式主义分析方法 核心知识产权 反竞争行为
下载PDF
Casper/FDR和串空间在物联网通信协议中的形式化分析 被引量:4
10
作者 吴名欢 程小辉 《桂林理工大学学报》 CAS 北大核心 2014年第2期338-344,共7页
通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸... 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。 展开更多
关键词 CASPER FDR 协议形式分析方法 串空间
下载PDF
统一的安全属性形式化描述方法的研究
11
作者 谢鸿波 吴远成 周明天 《计算机科学》 CSCD 北大核心 2008年第9期172-174,186,共4页
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细... 安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法。 展开更多
关键词 协议分析 形式分析方法 安全属性
下载PDF
基于形式化分析法的情报应用模式研究
12
作者 尤江东 《科技资讯》 2019年第11期193-195,共3页
网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战,该文简述了情报与情报分析的概念,指出情报分析员面临的现实挑战,对情报分析法的特点优势进行了概述,归纳了形式化情报分析法的5种应用模式,为弥补情报界在分析技术方面的不... 网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战,该文简述了情报与情报分析的概念,指出情报分析员面临的现实挑战,对情报分析法的特点优势进行了概述,归纳了形式化情报分析法的5种应用模式,为弥补情报界在分析技术方面的不足提供了借鉴,帮助分析人员克服思维误区,为明智决策、任务成功提供更优化的情报支持。 展开更多
关键词 形式分析方法 情报 情报分析
下载PDF
协议主体密钥在测试组件构造上的性质分析 被引量:6
13
作者 余磊 魏仕民 《计算机工程与应用》 CSCD 2013年第6期114-117,共4页
针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的消息组件在认证测试中的作用和性质,对消息组件进行分类和定义并提出认证测试模型的概念,基于认证测试模... 针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的消息组件在认证测试中的作用和性质,对消息组件进行分类和定义并提出认证测试模型的概念,基于认证测试模型给出协议主体密钥在测试组件构造上的性质命题,同时运用认证测试基础理论对命题进行正确性证明,从而确定测试组件构造的形式化规则。 展开更多
关键词 安全协议 形式分析方法 串空间模型 认证测试 消息组件 测试组件
下载PDF
安全协议形式化分析方法综述之一:基于推理结构性方法 被引量:1
14
作者 范红 冯登国 邹良惠 《网络安全技术与应用》 2003年第5期52-56,共5页
本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。
关键词 通信协议 网络协议 安全协议 形式分析方法 密码体制基础 推理结构性方法 电子商务
原文传递
安全协议形式化分析方法综述之二——基于攻击结构性方法
15
作者 范红 冯登国 《网络安全技术与应用》 2003年第6期15-18,共4页
本文给出了现行的基于攻击结构性方法的分类,分析了各类工具的特点。
关键词 安全协议 形式分析方法 攻击结构性方法 网络协议 通信协议
原文传递
基于串空间理论的kerberos协议的安全性分析
16
作者 杨杰 《电脑编程技巧与维护》 2010年第4期110-110,113,共2页
运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用。
关键词 串空间理论 安全协议 形式分析方法
下载PDF
Error Analysis on Corrector Formula for Rectangular Rule 被引量:1
17
作者 XIAO Ze-chang DU Yue-peng 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2008年第2期270-275,共6页
This paper presents truncation errors among Corrector Formula for left Rectangular rule and Corrector Formula for middle Rectangular rule respectively. It also displays an analysis on convergence order of compound cor... This paper presents truncation errors among Corrector Formula for left Rectangular rule and Corrector Formula for middle Rectangular rule respectively. It also displays an analysis on convergence order of compound corrector formulas for rectangular rule. Examples of numerical calculation have validated theoretical analysis. 展开更多
关键词 numerical integration algebraic accuracy corrector formula truncation error convergence order
下载PDF
基于形式化分析法的情报模式研究
18
作者 熊小超 《汽车世界》 2020年第8期181-181,共1页
网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战,该文简述了情报与情报分析的概念,指出情报分析员面临的现实挑战,对情报分析法的特点优势进行了概述,归纳了形式化情报分析法的5种应用模式,为弥补情报界在分析技术方面的不... 网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战,该文简述了情报与情报分析的概念,指出情报分析员面临的现实挑战,对情报分析法的特点优势进行了概述,归纳了形式化情报分析法的5种应用模式,为弥补情报界在分析技术方面的不足提供了借鉴,帮助分析人员克服思维误区,为明智决策、任务成功提供更优化的情报支持。 展开更多
关键词 形式分析方法 情报 情报分析
下载PDF
BAN类逻辑的由来与发展 被引量:5
19
作者 张玉清 吴建平 李星 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第1期96-99,共4页
BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的密码协议。该文介绍了 BAN逻辑的产生、成分和分析步骤 ,进而全面指出了 BAN逻辑的缺陷 ,由此而产生的改进的 BAN逻辑和现状 ,从而对 BAN类逻辑作了... BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的密码协议。该文介绍了 BAN逻辑的产生、成分和分析步骤 ,进而全面指出了 BAN逻辑的缺陷 ,由此而产生的改进的 BAN逻辑和现状 ,从而对 BAN类逻辑作了全面的回顾与展望 ,并得出结论 :BAN类逻辑仍然是密码协议分析和设计的主要工具 ,但理想化步骤是 BAN类逻辑的致命缺陷。指出了 BAN类逻辑研究工作的展望。 展开更多
关键词 密码协议 协议分析 BAN类逻辑 形式分析方法 协议理想化 推理规则
原文传递
Comparisons between centrifuge and numerical modeling results for slope toppling failure 被引量:19
20
作者 CHEN ZuYu GONG WenJun +4 位作者 MA GuoWei WANG Jie HE Lei XING YiChuan XING JianYing 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2015年第9期1497-1508,共12页
This paper presents series studies on the toppling mechanism by centrifuge tests and numerical simulations. Two different discrete element methods, i.e., the continuum-based discrete element method(CDEM) and the disco... This paper presents series studies on the toppling mechanism by centrifuge tests and numerical simulations. Two different discrete element methods, i.e., the continuum-based discrete element method(CDEM) and the discontinuous deformation analysis(DDA), are adopted. The modeling results show that both the methods can accurately capture the failure modes of the centrifuge tests, including three distinct zones and two failure surfaces. Comparisons are made between the physical test and numerical simulation results. The critical inclination angle of the tilting table where the slope models are fixed on can be moderately predicted by the two methods, with different degrees of precision. The error between the test results and the simulated results is within 1% for the slope models without rock-bridges by both CDEM and DDA. However, it is amplified for the staggered-joint models that simulate the rock-bridges. With DDA, the average error is about 5%, and the maximum error is up to 17%. While with CDEM, the errors for the aligned-joint models are ranged from 1% to 6%, and it is from 10% to 29% for the staggered-joint models. The two numerical methods show the capability in simulating toppling failure of blocky rock mass with and without rock-bridges. The model with rock-bridges which provides a certain bending resistance is more stable than the one without any rock-bridge. In addition, the two failure surfaces were observed, which is different from the common understanding that only one failure surface appears. 展开更多
关键词 rock slope model toppling failure rock-bridge centrifuge test continuum based discrete element method discontinuous deformation analysis
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部