• 可证明安全的认证与密钥协商协议研究

    可证明安全的认证与密钥协商协议研究

    论文摘要认证与密钥协商协议(AuthenticatedKeyAgreement,AKA)是密码学的一个重要领域,它允许两个或者多个用户在不安全的网络信道上进行身份/消息认证并协...
  • 企业信息安全管理度量方案的分析与设计

    企业信息安全管理度量方案的分析与设计

    论文摘要随着信息技术的快速发展,企业信息化程度的提高,信息系统的脆弱性越来越突出,安全问题也显现的越来越严重,并且也引起了广泛的重视,因此对于信息系统安全性的度量势在必行,在信...
  • 分布式环境下的安全策略关键技术研究

    分布式环境下的安全策略关键技术研究

    论文摘要分布式系统安全是当前信息安全领域的一个重点研究方向。分布式系统安全策略一般是由各应用系统分散管理,存在多样性和复杂性等问题,不能很好的满足信息安全对整体性、协同性管理的...
  • 跨站脚本攻击与防御技术研究

    跨站脚本攻击与防御技术研究

    论文摘要本文在对跨站脚本攻击的应用基础之上,参考大量的国内外相关文献和资料,对跨站脚本攻击的技术与防御进行了深入的研究和实践。针对跨站脚本的产生原理,如何发掘与利用,以及在各方...
  • 新型P2P网络安全模型--SAP2P的设计与实现

    新型P2P网络安全模型--SAP2P的设计与实现

    论文摘要随着P2P网络的飞速发展,P2P网络技术已经成为当今IT技术领域研究与应用的热点。据调查,在因特网的流量中,有超过50%的流量来自于P2P软件的使用,充分说明了P2P网...
  • 基于双线性对的认证体制研究

    基于双线性对的认证体制研究

    论文摘要随着计算机和计算机网络的快速发展,信息安全已经成为信息社会急需解决的问题。认证体制是保障信息安全的重要手段之一,可以提供认证性、不可否认性和数据完整性等安全服务,是实现...
  • 基于模型检测的安全操作系统验证方法研究

    基于模型检测的安全操作系统验证方法研究

    论文摘要安全操作系统的形式化验证,作为高等级安全操作系统评估准则的一项重要指标和操作系统安全性能最有效的证明手段,具有重要意义与实用价值。目前形式化验证主要分为模型检测和定理证...
  • 认证和密钥分配协议的可证明安全研究

    认证和密钥分配协议的可证明安全研究

    论文摘要可证明安全是一种证明密码学方案安全性的形式化方法,它将密码学方案的安全性规约为公认的计算难题,并已成为现代密码学领域中理论工作的主线。本文主要研究密钥分配协议的可证明安...
  • 媒体安全体系的战略建设及路径选择

    媒体安全体系的战略建设及路径选择

    论文摘要媒体安全问题是全新的课题,本篇论文从战略思维入手,力求提供一种框架和结构的文本分析,运用一种思考的逻辑举要分析我国媒体非安全表现,在此基础上提出“保守”、“激进”和“平...
  • 基于JXTA的P2P网络安全管理研究

    基于JXTA的P2P网络安全管理研究

    论文摘要P2P网络技术是未来Internet的四大新应用技术之一,是目前计算机网络技术领域的研究热点。P2P网络具有高度的动态性、自治性和异构性,导致不可靠的服务质量及大量欺诈...
  • 农民补贴系统数据仓库的安全设计

    农民补贴系统数据仓库的安全设计

    论文摘要随着各地财政部门在“政府上网”工程的指导思想下,有意识开发了一些财政业务应用系统,从而有效地加强了财政部门对资金的管理,并且积累了大量宝贵的财政数据。在建设农民补贴系统...
  • 多Agent系统中信任模型及其应用研究

    多Agent系统中信任模型及其应用研究

    论文摘要一些传统的安全方法很难适合开放的多agent系统,信任为解决多agent系统的安全问题提供了新途径。本文主要对基于经验的信任和基于凭证的信任进行研究。基于经验的信任是根...
  • 基于Pi演算的SOAP安全性分析与验证

    基于Pi演算的SOAP安全性分析与验证

    论文摘要基于XML技术的Web服务体系是一种新兴的分布式计算模型,其核心的消息交换协议为SOAP(SimpleObjectAccessProtocol,简单对象访问协议)。在分...
  • XML数据库访问控制模型研究

    XML数据库访问控制模型研究

    论文摘要随着XML应用范围的不断扩展,越来越多的数据采用XML技术来管理,数据库本身的安全性也日益重要。XML数据库安全是一个正在展开的研究方向。如何实施面向XML文档的访问控...
  • 嵌入式Linux操作系统的安全性增强研究

    嵌入式Linux操作系统的安全性增强研究

    论文摘要随着嵌入式计算的广泛应用和不断发展,嵌入式计算的安全也成为目前急需解决的关键问题之一。操作系统是嵌入式系统的核心,操作系统的不安全不仅会影响上层网络通信及应用软件的安全...
  • 基于SOAP的Web服务访问控制设计与实现

    基于SOAP的Web服务访问控制设计与实现

    论文摘要WebServices(Web服务)是基于网络的、分布式模块化组件,是建立可相互操作的分布式应用程序的新平台。Web服务作为新一代分布式技术,一经推出便以它的松散藕合性...
  • 主机型恶意程序运行行为监控技术研究

    主机型恶意程序运行行为监控技术研究

    论文摘要随着互联网迅猛发展,网络应用日益广泛与深入,恶意软件也不断发展,严重威胁广大用户的隐私与财产安全,对互联网安全问题的关注也日益增强。传统的防病毒软件都是采用预先定义好的...
  • 分布式并行系统若干安全技术的研究

    分布式并行系统若干安全技术的研究

    论文摘要随着Internet的迅猛发展,电子商务与电子政务的兴起,对高性能计算的普遍需求,使得分布式并行系统得到了越来越广泛的应用。然而,任何一个分布式并行系统在构建过程中,在...
  • 基于程序设计语言的安全降密模型研究

    基于程序设计语言的安全降密模型研究

    论文摘要随着国家、社会对计算机和网络技术的依赖程度日益增长,信息安全问题越来越重要。访问控制、加密技术等标准的安全机制是保护信息机密性、完整性的重要手段,但是它们并不能确保端到...
  • 群密钥协商协议的分析与设计

    群密钥协商协议的分析与设计

    论文摘要密钥协商协议是密码学中一个重要的基本组成部分,它是指两方或多方间在不安全的公共数据网上通过一定的方法产生一个共享的会话密钥,以实现相互间的安全通信。因此,安全的密钥协商...