基于Strand空间的认证协议证明方法研究

Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.     

NSSK协议的串空间模型及分析

本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析.分析结果表明改进的NSSK协议是安全的.     

基于串空间理论的Kerberos协议分析

在介绍串空间理论基本概念、攻击者模型以及Kerberos协议的基础上,利用串空间理论得出Kerberos各协议参与主体和攻击者的迹,构造了协议的串空间,给出了Kerberos协议的丛图。在证明一个定理的基础上,使用启发式和反证法的思路,证明了认证服务器分配给客户端和应用服务器会话密钥的保密性,即攻击者从现有知识和构造能力无法推导出服务器分配给客户端和应用服务器的会话密钥;证明了客户端和认证服务器以及客户端和应用服务器能够相互认证,得出了Kerberos协议正确性的结论。     

Yahalom协议的串空间模型及分析

作为一种用来分析密码协议的最具代表性的定理证明技术，串行空间理论已被成功地用来分析许多典型的密码协议。其理论中的理想和诚实两个概念的提出更是大大简化了一类密码协议的证明步骤．首次利用串空间理论从机密性和鉴别两个方面对Gavin Lowe提出的Yahalom协议的改进版进行了分析．分析结果证明该协议是安全的．     

基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

基于串空间的安全协议自动化验证算法

以串空间模型为理论基础,提出安全协议自动化验证算法IVAP。对于有漏洞的协议,针对不安全属性逆向搜索主体串树,自动生成改进协议并对其进行验证,直至生成一个安全的改进协议。实验结果证明了该自动化验证算法的有效性,与AAAP算法相比,其协议验证效率更高。     

基于串空间模型安全协议形式化分析方法的研究

从串空间模型理论人手,提出了三种典型的串空间形式化方法（基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法）,并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。     

一种用于松散耦合的分布式信息系统的身份认证协议

随着计算机网络和信息系统的飞速发展,在现有的异构的信息系统基础上共享信息的要求越来越迫切,本文提出了构造松散耦合的分布式信息系统的方法来解决这个问题,ＬＣＤＩＳ中的一个关键总是就是其安全性。本文首先提出了ＬＣＤＩＳ的概念,并对其进行了形式化的描述。由于ＬＣＩＤＩＳ具有自身的特点,因此不能直接采用 身份认证协议。我们针对其特点,提出了一种专用的身份认证协议。该协议已经成功地用于实际的松散耦合的分布式     

基于串空间模型的Andrew安全RPC协议分析

在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。     

基于串空间理论的kerberos协议的安全性分析

运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用。     

基于邻接关系的空间数据挖掘技术的研究

随着现代科学技术的迅速发展,复杂多变的空间数据日益膨胀,远远超出人们的解译能力,迫切地需要数据挖掘和知识发现为其提供知识。文中从空间数据挖掘的基本概念出发,详细阐述了空间数据的特点、空间邻接关系及其相关操作,并针对空间邻接关系给出了几种典型的空间数据挖掘方法。     

空间推理与地理信息系统综述

对空间推理SR(spatial reasoning)和地理信息系统GIS(geographic information system)进行了全面的综述.介绍了空间推理和地理信息系统的应用和国内外发展概况,在对大量资料进行分析的基础上,给出了空间推理和地理信息系统的关键属性、主要研究方向和研究热点.     

基于COM的土壤信息系统

应用组件技术建立了开放式的土壤信息系统。提出了适合于土壤信息处理的基于COM的地理信息系统与专业应用软件的接口标准。建立了土壤信息处理组件,内建了土壤质量评价、土地适宜性评价、土壤侵蚀强度评价和土壤侵蚀危险度分级等专业应用模型,并将建成的上壤信息系统在咸宁市进行了系统应用。     

基于XML-SVG的空间数据库设计与实现

SVG作为一种开放的标准,以文本格式描述矢量图形,其主要优势是实现基于网络的矢量图形信息发布。实践证明,在利用其进行空间矢量信息的发布时,始终无法回避海量数据或大数据集的处理,从而使SVG文档(Document)很大,不仅需要高配置的硬件环境,而且影响空间信息网上发布的运行速度,削弱了它的优势。由此,提出了建立SVG数据库,试图利用数据库管理系统合理利用资源,以解决大数据文档所产生的信息发布瓶颈问题。该文尝试了利用对象关系数据模型,将SVG文档映射到关系型数据管理系统库中。研究表明,利用所建的SVG空间数据库在WEB服务器端管理空间数据,可提高基于XML-SVG空间信息网上发布的性能,并以广东省部分应用实例证明了其可行性、可操作性和实用性。     

基于GML的异构WebGIS空间信息共享研究

设计了一个基于GML的空间信息共享模型,给出了该模型所需要的关键技术,以此来对现有的WebGIS空间信息共享技术进行改进.该模型充分利用了现有网络和空间信息资源,较好地解决了异构WebGIS数据源的联合使用问题,同时具有良好的可扩展性.     

基于信息熵的空间对象群聚类算法

针对利用空间关系建立空间对象群聚类的问题,提出一种基于信息熵的空间对象群聚类算法ESOGC。该算法考虑空间数据的复杂性和数据之间的联系,根据邻域范围内信息熵的变化情况,捡起或放下当前空间对象群,从而实现对空间对象群的聚类。实验结果表明,该算法能解决空间对象群中对象类型、对象属性值和对象数量不一致性的问题。     

图形工作流驱动的空间信息服务链研究

空间信息服务链由于其空间数据操作对时间的要求以及其应用于工作流对接口要求的特殊性,使得传统的工作流很难调度空间信息服务链,主要的问题在于接口不匹配以及运行效率低下.在传统WPS服务链的基础上,针对其不足提出了基于图形工作流的空间信息服务链聚合模型.通过分析工作流调度空间信息服务链存在的主要问题,提出相应的接口改进方法,以及基于地址引用、压缩GML的数据调度策略.并结合Kepler工作流引擎,给出了空间信息服务链聚合的具体过程.经过实验证明：基于图形工作流环境,不但突破了以往空间信息服务应用于工作流的接口瓶颈,而且改进的数据流调度策略有助于空间信息服务链执行效率的提高.     

空间信息论的新研究进展

空间信息指雷达探测系统中目标的距离、方向和散射等信息,空间信息论是采用香农信息论的思想方法研究雷达等信息获取系统的基础理论。本文围绕空间信息的概念、空间信息量的理论公式及闭合表达式、熵误差和雷达分辨率等基本理论问题,论述了空间信息论当前的研究现状,总结了空间信息论方面的主要研究工作,介绍了空间信息的概念及其系统模型,目标距离信息、散射信息和方向信息方面的研究工作,重点分析了空间信息量的理论推导,熵误差的概念及其与均方误差的关系,分辨率的新定义及其与传统分辨率的关系。本文指出空间信息论亟待解决的理论问题,最后对空间信息论的发展趋势做出了分析和展望。     

基于空间信息的MANET路由算法

针对基于位置的路由算法在剧烈变化的网络拓扑或有障碍物的情况下易产生拓扑洞而导致路由失败的问题,提出基于空间信息的移动Ad hoc网络(MANET)路由算法。该算法采用构建空间模型,将场景知识引入路由过程,在路由前规避拓扑洞。仿真结果表明,在网络连通度适当的条件下,该路由算法可有效地改善路由性能。     

基于Agent的分布式地理信息查找与获取技术

提出了基于Agent的分布式地理信息查找与获取的新思路，给出了构建基于Agent的分布式地理信息查找与获取模型，并任此模型的基础上给出了具体实现方法，实现了分布式地理信息的透明访问。