检索结果-内蒙古大学图书馆

通信学报 2006年第3期27卷 73-78页

作者：文静华张梅李祥贵州财经学院信息学院贵州贵阳550004 贵州大学计算机软件与理论研究所贵州贵阳550025

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法... 详细信息

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。

关键词：电子商务协议安全性公平性 ATL

来源：评论

学校读者我要写书评

暂无评论

一个新的认证协议及其形式化分析

引用

计算机工程 2006年第8期32卷 159-161页

作者：文静华张梅李祥贵州财经学院信息学院贵阳550004 贵州大学计算机软件与理论研究所贵阳550025

认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局... 详细信息

认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。

关键词：认证协议形式分析 BAN逻辑

来源：评论

学校读者我要写书评

暂无评论

基于ATL的公平电子商务协议形式化分析

引用

电子与信息学报 2007年第4期29卷 901-905页

作者：文静华李祥张焕国梁敏张梅贵州大学计算机软件与理论研究所贵阳550025 武汉大学计算机学院武汉430072 贵州财经学院信息学院贵阳550004

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨... 详细信息

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。

关键词：电子商务协议公平性安全性形式化分析 ATL

来源：评论

学校读者我要写书评

暂无评论

推进我国中小企业信息化建设研究

引用

集团经济研究 2007年第12Z期 288-289页

作者：薛承梦唐卫清贵州财经学院中科辅龙计算机公司

国民经济和社会信息化、以信息化带动工业化、以工业化促进信息化、走新型工业化道路已成为我国的基本国策。党的十七大报告中指出：要“全面认识工业化、信息化、城镇化、市场化、国际化深入发展的新形势新任务，深刻把握我国发展面临... 详细信息

国民经济和社会信息化、以信息化带动工业化、以工业化促进信息化、走新型工业化道路已成为我国的基本国策。党的十七大报告中指出：要“全面认识工业化、信息化、城镇化、市场化、国际化深入发展的新形势新任务，深刻把握我国发展面临的新课题新矛盾，更加自觉地走科学发展道路”。与以往相比，增加了“信息化”，这是我们党对当今时代特征的清醒认识和准确把握。企业信息化是国民经济和社会信息化的基础。目前中国的中小企业数量已经超过4000万，占全国企业总数99．8％以上，因此中小企业信息化是企业信息化的关键环节。

关键词：企业信息化建设信息化带动工业化中小企业信息化社会信息化工业化道路国民经济基本国策

来源：评论

学校读者我要写书评

暂无评论

面向中小企业的产业板块资源计划IRP平台研究

引用

集团经济研究 2007年第11Z期 319-320页

作者：薛承梦唐卫清任继成贵州财经学院科辅龙计算机公司

一．引言目前我国中小企业（以下简称SME）有4200多万户，占企业总数的99．8％以上。SME最终产品和服务价值占GDP的58％左右，税收占总税收48％左右，吸纳的就业人员占城镇净增就业人口的75％。SME已成为我国国民经济行业的重要组成部... 详细信息

一．引言目前我国中小企业（以下简称SME）有4200多万户，占企业总数的99．8％以上。SME最终产品和服务价值占GDP的58％左右，税收占总税收48％左右，吸纳的就业人员占城镇净增就业人口的75％。SME已成为我国国民经济行业的重要组成部分，并在促进经济稳定和持续增长、解决就业问题等方面起到了重要的作用。我国SME数量众多，态势良好，但呈现的状态是一盘散沙。据分析目前中国SME的平均生存周期只有2．3年，只有很少一部分可以成长起来进入稳定期。以这样的状态，SME欲在全国企业中占据核心地位将是一个很艰难的进程。虽然SME的生生死死有一定的规律性，但若从促进国家经济和就业良性发展的角度，帮助更多的SME成长壮大起来是十分必要和重要的。

关键词：中小企业资源计划 IRP 板块产业就业人口 SME 服务价值

来源：评论

学校读者我要写书评

暂无评论

基于ATL方法的电子商务协议FONRP分析

引用

计算机工程 2008年第3期34卷 151-153页

作者：张梅文静华张焕国贵州财经学院信息学院贵阳550004 武汉大学计算机学院武汉430079

研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比... 详细信息

研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议。

关键词：电子商务协议公平性安全性形式化分析 ATL逻辑

来源：评论

学校读者我要写书评

暂无评论

规则网格中带人工免疫SIRS模型的动力学行为

引用

云南大学学报（自然科学版） 2010年第2期32卷 158-162页

作者：张达敏蔡绍洪周海平郭长睿贵州大学计算机科学与信息学院贵州贵阳550025 贵州财经学院贵州贵阳550004 贵阳学院计算机系贵州贵阳550003

运用平均场理论和非线性动力学方法分析规则网格中带人工免疫SIRS传播模型的动力学行为,并通过计算机模拟来研究人工免疫,群体密度以及个体游动等因素对疾病传播的影响.结果表明实施人工免疫可以有效降低系统的稳态感染比例,提高系统的... 详细信息

运用平均场理论和非线性动力学方法分析规则网格中带人工免疫SIRS传播模型的动力学行为,并通过计算机模拟来研究人工免疫,群体密度以及个体游动等因素对疾病传播的影响.结果表明实施人工免疫可以有效降低系统的稳态感染比例,提高系统的传播阈值,而且在群体静止情况下的效果明显高于群体游动时的效果.与此相反,个体的随机游动会提高系统的稳态感染比例,降低系统的传播阈值.

关键词：规则网格 SIRS模型人工免疫群体密度传播效率

来源：评论

学校读者我要写书评

暂无评论

一类新旧节点同时演化的混合网络模型

引用

东北师大学报（自然科学版） 2011年第2期43卷 51-55页

作者：周海平蔡绍洪贵阳学院计算机系贵州贵阳550005 贵州财经学院数理统计分院贵州贵阳550004

在随机网络和无标度网络的基础上,提出了一个新旧节点同时演化的随机-无标度混合网络模型.在模型中,新旧节点都能够主动产生新的连边,并且新连边在选择目标节点的过程中具有随机和择优两种连接机制.理论计算和计算机模拟表明:可以通过4... 详细信息

在随机网络和无标度网络的基础上,提出了一个新旧节点同时演化的随机-无标度混合网络模型.在模型中,新旧节点都能够主动产生新的连边,并且新连边在选择目标节点的过程中具有随机和择优两种连接机制.理论计算和计算机模拟表明:可以通过4个参数将随机网络和无标度网络统一起来,通过调节参数,可以生成不同形态结构的网络.该模型能够在随机网络和无标度网络之间连续过渡,其普适性较以往的模型更大.

关键词：复杂网络度分布计算机模拟

来源：评论

学校读者我要写书评

暂无评论

一种新的密码协议分析方法及其应用

引用

计算机应用 2006年第5期26卷 1087-1089页

作者：文静华张梅李祥贵州财经学院信息学院贵州贵阳550004 贵州大学计算机软件与理论研究所贵州贵阳550025

针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工... 详细信息

针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。

关键词：密码协议安全性形式化分析 ATL

来源：评论

学校读者我要写书评

暂无评论

一种新的公平可追究协议

引用

武汉大学学报（理学版） 2004年第A1期50卷 167-170页

作者：文静华李祥贵州财经学院信息学院，贵州贵阳550004 贵州大学计算机软件与理论研究所，贵州贵阳550025

在研究借鉴一种可追究协议NCP的基础上，提出一种新的公平可追究协议．经过使用改进的Kailor逻辑分析验证，新的协议满足可追究和公平性原则，且可以工作在不安全和不可靠的信道上．

关键词： NCP协议可追究性公平性 Kailar逻辑

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：