检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

基于博弈的电子商务协议分析

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

一个新的公平非否认协议

计算机工程 2006年第2期32卷 132-134页

作者：文静华田建强李祥贵州财经学院信息学院贵阳550004 贵州电力调度通信局贵阳550004 贵州大学计算机软件与理论研究所贵阳550025

在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验... 详细信息

在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证,新的协议满足非否认性和公平性原则,可广泛应用于电子邮件、电子合同等电子商务应用中。

关键词：通信协议非否认性公平性 Kailar逻辑

基于特征关系图的似二次曲面物体三维几何建模

在线全文

学校读者我要写书评

暂无评论

光电子．激光 2010年第8期21卷 1252-1256页

作者：张梅文静华张祖勋张剑清贵州财经学院数学与统计学院贵州贵阳550004 武汉大学遥感信息工程学院湖北武汉430079

三维(3-D)几何建模是计算机视觉的热点和难点,研究采用线性最小二乘特征向量估计法拟合二次曲面片参数方程,提出欧氏变换下不变几何特征的提取技术,分析了物体表面的特征关系图(ARG,attribute relation graph)表达法,利用激光点云,基于... 详细信息

三维(3-D)几何建模是计算机视觉的热点和难点,研究采用线性最小二乘特征向量估计法拟合二次曲面片参数方程,提出欧氏变换下不变几何特征的提取技术,分析了物体表面的特征关系图(ARG,attribute relation graph)表达法,利用激光点云,基于二次曲面片与ARG实现了似二次曲面物体的3-D几何建模。

关键词：特征关系图(ARG) 似二次曲面物体参数方程拟合特征不变量 3-D几何建模

在线全文

学校读者我要写书评

暂无评论

虚拟专网VPN技术机制研究与分析

中国有线电视 2004年第16期 10-13页

作者：文静华贵州财经学院贵州贵阳550004

研究分析了虚拟专网VPN技术的实现机制 ,对网络层VPN和链路层VPN进行仔细的分析比较。

关键词：虚拟专网 VPN 隧道网络层链路层

归一化互相关系数与迭代最近曲面片点云配准方法

在线全文

学校读者我要写书评

暂无评论

计算机工程 2016年第10期42卷 271-276页

作者：张梅文静华贵州财经大学信息学院贵阳550004

针对无附加信息的激光点云数据,基于匹配点对衡量准则与迭代最近曲面片(ICS)算法提出一种新的配准方法。引入归一化零均值互相关系数衡量点的邻域曲率相似度,构造一一对应的初始匹配点对有效数组,利用四元素和线性最小二乘法计算初始配... 详细信息

针对无附加信息的激光点云数据,基于匹配点对衡量准则与迭代最近曲面片(ICS)算法提出一种新的配准方法。引入归一化零均值互相关系数衡量点的邻域曲率相似度,构造一一对应的初始匹配点对有效数组,利用四元素和线性最小二乘法计算初始配准参数。通过局部曲面片代替离散点,建立参与ICS算法的有效点集,并用一次近似距离代替点到对应曲面片的几何距离,建立配准的非线性最小二乘优化模型和求解策略。实例结果表明,与迭代拼接算法相比,该方法具有多视角普适性,且高效精确。

关键词：激光点云配准归一化零均值互相关系数邻域曲率迭代最近曲面片

基于Java3D的工业机器人建模与远程控制

在线全文

学校读者我要写书评

暂无评论