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