一种改进的身份鉴别协议在移动电子支付中的应用

实体间的身份认证和鉴别是电子支付协议的基础.近年来研究工作者提出了一系列的身份认证协议,但是都存在一定的不足.2005年,Ren-Junn Hwang提出了一个高效的适用于移动网络的域间身份认证协议,虽然他利用BAN逻辑证明了其安全性,但通过几个模拟攻击过程,依然可以发现该协议仍存在着一些安全漏洞和不足.本文给出了一种新的改进方案,使改进后的协议具备了以上这些特征.最后将改进后的协议应用于Yong Zhao提出的电子支付协议中,弥补了该支付协议中用户和仲裁机构没有身份认证的不足.     

呼图壁地下储气库地表形变模式与机理研究

为探究地下储气库区域地表形变时空分布特征及影响因素,利用Sentinel-1A升轨合成孔径雷达影像,基于小基线集雷达干涉测量(SBAS-InSAR)技术提取了2017年3月-2019年5月呼图壁地下储气库的时序地表形变信息.结果 表明,在时间上,每年4月至10月注气阶段储气库地表靠近卫星约10～30 mm;同时,在夏季...     

基于综合效能的火力/电子战协同攻击决策研究

从进攻角度着手,提出了一种新的以综合作战效能最大为决策准则的火力/电子战武器协同攻击的使用方法。该方法首先构建了由信息、机动、干扰、火力四大空战要素决定的能力矩阵、关联矩阵、可用性矩阵及权矩阵,综合作战效能评估模型则由上述四个矩阵组成。进一步通过遍历算法得到综合作战效能最大时的火力/电子战武器协同攻击方案,即为当前火力/电子战武器最优的发射时机。仿真结果表明,该决策方法得到的攻击策略与所期望的软/硬武器协同作战准则一致,能实现综合作战效能的最大化。     

电子装备试验数据的灰色处理

提出利用灰色系统的相关理论对电子装备试验数据进行处理。介绍了粗大误差的判别与剔除方法、系统误差的判别方法、标准差的求取方法以及数据结果的求取方法等,最后基于MATLAB对某次试验中的数据进行了仿真处理,并从理论上对方法的可行性进行了分析。例子及分析结果表明,该方法简单可行,对数据没有分布要求,数据处理结果有较高的置信水平。     

NetBill协议的形式化描述及分析

通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.     

基于Web的文件发布系统设计

摘要：以SQL Server2000数据库为后台,采用Browse／Server模式,运用Internet和．ASP技术,开发企事业单位内网的公开电子文件(视频、图片、电子公文)发布查询系统。该系统可以实现文件查询,在线浏览和下载。     

"参与式"方法在实验室评估中的运用

为了达到高等院校教学评估“以评促建、以评促改、以评促管、评建结合”的目的,我们在开展实验室评估工作中,运用以评估机构和被评学校双方均为参与主体的互动参与为特征的“参与式”方法．该文介绍该法在开展实验室评估工作中的具体应用过程及效果．     

高校图书馆电子资源的建设

就高校图书馆电子资源的内容、发展、评价、宣传、利用等几个关键性问题作了一些分析。     

分布式环境下的序列模式发现研究

提出一种称为DMSP(Distributed Mining of Sequential Patterns)的算法,以解决分布式环境下的序列模式挖掘问题．其主要思想是：利用前缀投影技术划分模式搜索空间,降低数据库的规模,生成局部序列模式;利用模式前缀指定选举站点降低通信开销;多线程异步运行,提高算法的并行性．实验结果显示：在具有海量数据的局域网环境中,DMSP算法的性能优于将数据集中后采用GSP算法65％以上．     

基于约束的最大频繁模式的挖掘

频繁模式挖掘通常产生大量的挖掘结果,基于约束的最大模式挖掘成为目前研究的焦点．给出基于约束的频繁最大模式的定义和挖掘基于约束的频繁最大模式算法．