论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
在信息安全风险评估中,由推理泄漏而导致的系统脆弱性因其具有一定的隐蔽性而难以被检测。针对一种典型的通用追踪者推理泄漏,采用Horn子句逻辑的方法,提出针对利用通用追踪
【机 构】
：
解放军理工大学通信工程学院,南京 210007
【出 处】
：
第十七届全国信息保密学术会议
【发表日期】
：
2007年期
其他文献
提出了一种新的网络安全评估模型。根据网络元素的安全要求确定其基于CC的安全指标参数,并采用模糊综合评判的方法进行定量计算,最终由所有网络元素的安全综合确定网络安全的
针对低密度粉末制品的X射线实时成像检测过程中的缺陷尺寸放大问题,制作了准确便捷评估缺陷尺寸的标尺,大大提高了工作效率。
In view of the enlargement of defect size i
移动Ad hoc网络安全问题受到广泛关注,现有安全方案都存在局限性。论文分析了路由协议的安全威胁,安全需求。提出一种基于动态信任模型的安全路由协议(DTM-based SRP),有机结
进程保护是近年来应用较为广泛的一种windows核心技术,也是信息安全领域中越来越被重视的关键技术之一。在众多的信息安全系统软件中,多数设计者采用此种技术保护软件的核心
丙型肝炎病毒 (HCV)是一种类脂包被的RNA病毒 ,其主要由非肠道传播。流行病学研究表明 ,HCV最常见的传播途径是经输血、血制品或因器官移植及静脉注射毒品者共用污染针头而传
本文分析了信息安全评估标准的内容和组织形式,以及目前信息安全评估对安全产品安全可信度的衡量方式,采用了决策理论的层次分析法,建立了一种安全可信度的量化模型。
入侵检测作为网络安全的第二道保护屏障在移动Ad Hoc网络中显得更为重要,它可以进一步有效去除网络中已存在的入侵行为。本文在分析移动Ad Hoc网络安全问题以及现有安全机制
会议
军工企业存在人为的、有意的计算机失泄密事件,对失控计算机及存储介质进行事后评估是必要的。由于电子证据的特殊性,计算机取证必须遵循严格的过程和程序,否则就会导致所获
会议
相控阵全聚焦(TFM)技术实质上是基于相控阵全矩阵采集(FMC)的图像后处理全息重构技术。介绍了相控阵一维线阵探头的TFM技术原理。给出了TFM技术的纵、横波成像检测算法模型以