论文部分内容阅读
提出了一个在不同移动运营商中移动终端的相互认证协议。该协议利用WPKI机制,实现对双方公钥证书的认证。最后采用BAN逻辑,对协议的形式化分析表明协议达到了认证目标。
基于WPKI的移动通信端到端认证协议
【摘 要】
：
提出了一个在不同移动运营商中移动终端的相互认证协议。该协议利用WPKI机制,实现对双方公钥证书的认证。最后采用BAN逻辑,对协议的形式化分析表明协议达到了认证目标。
【机 构】
：
山东省计算中心,山东省科学院生物所
【出 处】
：
计算机应用研究
【发表日期】
：
2007年08期
其他文献
以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性、公平性和时限性,而且具有实现简单、执行效率高、可信第三方负担轻等特点。
提出了一种对数字化三维Baker混沌系统进行扰动的可行方案,该方案选择性扩散数字化混沌系统中的部分变量,以达到对整个系统的扰动。实验的数据表明,该扰动方案有效地补偿了多维数字化混沌系统的动力学特性退化。
根据关系数据库的特殊性,结合现有数字水印技术,将可信中心和密钥分存的思想引入关系数据库水印算法。首先争取对水印信息分存,然后根据分存值序列,分成三元组序列,对数据库中有效位数较多的数值型字段值,修改其最低有效位的值。该算法隐蔽性好,可基于部分内容恢复水印信息;可嵌入信息量大,每个字段值可以插入3 bit;水印恢复不需要原始数据库;可以抵抗各种子集攻击和添加攻击。
结合城市货物运输的具体特点,分析了多供应点、多中转点的联盟运输调度问题的优越性。在分析联盟运输调度特点的基础上,建立了优化确定联盟运输调度问题中转点的数学模型,并构造了求解该问题的有效遗传算法。算法中针对具体问题的特点,采用较新的交叉算子。实例计算表明,提出的模型和算法能够有效地解决AVRP中转点的确定问题。
通过深入分析邻居发现协议运行机制,指出了链路可信这个默认前提是导致ND(neighbor discovery)存在安全缺陷的根本原因;随后具体分析了基于ND安全缺陷各种DoS攻击方法,并对ND的安全防护进行了阐述,为进一步研究安全ND奠定了基础。
分析了基于结构化覆盖网的分布式查询处理模型,支持大量数据流的分布式存储,连续查询间、查询内的并行处理操作,能够在很大程度上消除资源约束问题(主要是内存),提高了查询性能、服务质量,并且该查询模型具有很好的扩展性。
针对建设支持即时应用集成的城市应急联动系统的实际需求,提出一种可定制的轻量级应用资源服务化方法,为面向业务用户的服务构建提供了一种思路,并实现其支撑工具,可更有效地实现资源服务的按需构建和自动发布。
随着Web service应用的深入和应用环境的复杂,无状态的Web service在一些方面显示出很大的不足,如事务处理、用户登录、访问权限控制等,所以有状态Web service的研究具有很大的意义。通过对现有Web service两种状态的探讨,分析现有状态管理的不足,提出了一个新的Web service状态管理模型。
提出并分析比较两种记忆形成算法。二次方差法对已获取的食物点作方差计算,快速剔除距其他点较远的噪声点,获得食物分布的期望位置。改进的均值聚类算法针对二次方差法的不足,借鉴数据挖掘理论,对噪声点进行更准确的剔除。根据不同情况选取适合算法,达到聚焦器在人工动物取食记忆实现中的有效性。
在全面分析软件标志和软件安全技术理论的基础上,创造性地提出新的软件指纹技术及基本实现方案,并对基于代码的静态软件指纹技术的嵌入、检测、攻击以及安全性等方面进行了深