检索结果-内蒙古大学图书馆

系统工程与电子技术 2007年第8期29卷 1309-1313,1321页

作者：卜广志北京系统工程研究所复杂系统仿真国家重点实验室北京100101

信息流是武器装备体系构成与内部各种交互的依据,认为信息流可分为态势流、状态流和指控流,并提出了对各种信息流进行评估的方法。在此基础上,给出了信息流能力的评估和判断是能否获取信息流优势的依据。信息流优势对应着三种能力:信息... 详细信息

信息流是武器装备体系构成与内部各种交互的依据,认为信息流可分为态势流、状态流和指控流,并提出了对各种信息流进行评估的方法。在此基础上,给出了信息流能力的评估和判断是能否获取信息流优势的依据。信息流优势对应着三种能力:信息获取能力、信息利用能力和信息分发能力。最后,用算例说明了方法的有效性。

关键词：武器装备体系评估方法信息流分析信息流能力

来源：评论

学校读者我要写书评

暂无评论

基于信息流分析的密码核设计安全验证与漏洞检测

引用

西北工业大学学报 2022年第1期40卷 76-83页

作者：马艺新唐时博谭静李雪霏胡伟西北工业大学网络空间安全学院陕西西安710072

密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆... 详细信息

密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆盖率低,难以满足密码算法核这一安全关键部件的安全验证需求。从信息流安全的角度研究密码算法核安全验证与漏洞检测方法。该方法能够对密码算法核中全部逻辑信息流进行精确度量,实现对机密性和完整性等安全属性的形式化验证,可通过捕捉有害信息流动来检测密码算法核设计中潜在的安全隐患。实验结果表明信息流安全验证方法对密码算法核中的设计缺陷和旁路信道导致的敏感信息泄漏有很好的检测效果。

关键词：信息流分析安全验证漏洞检测密码算法核

来源：评论

学校读者我要写书评

暂无评论

信息流分析法在集成电路设计中的应用研究

信息流分析法在集成电路设计中的应用研究

引用

作者：王小娟大连理工大学

学位级别：硕士

目前随着计算机技术、电子技术和微米技术等现代科技的发展,电路的发展也日趋复杂,集成度逐渐提高,由此引起的集成电路的复杂性也显著提高。而现代生活中电子产品设备已广泛深入应用到人们生活的很多方面,尤其是集成电路是各种电子设备... 详细信息

目前随着计算机技术、电子技术和微米技术等现代科技的发展,电路的发展也日趋复杂,集成度逐渐提高,由此引起的集成电路的复杂性也显著提高。而现代生活中电子产品设备已广泛深入应用到人们生活的很多方面,尤其是集成电路是各种电子设备的主要部件,在设计、制造和应用方面,要求集成电路设计、生产有更高的稳定性和可靠性以及越来越高的安全性和经济性,因此如何保证集成电路能够准确可靠的工作,同时又具有较低的测试成本和较高的安全性,这不仅关系到电路的设计,而且还涉及到电路测试,验证和检测等。本文从信息流控制的理论知识入手,定义和证明了信息流分析法的几个相关性质,阐述了信息流分析逻辑生成方法,侧重于讨论信息流分析研究方法在集成电路设计中的应用。所做的主要工作表现在以下三个方面： 1.提出信息流分析法的基本概念,定义信息流分析逻辑函数IFA (Information Flow Analysis)逻辑函数,讨论IFA逻辑的基本性质,并予以证明。通过基本门(与门,或门,异或)逻辑与形式化描述的信息流分析,分析出信息流分析逻辑潜在的不确定性,并以两输入多路复用选择器(MUX-2)为例进行分析。完成对信息流分析逻辑不精确性根源的分析与证明,并以ISCAS和IWLS测试基准来显示采用不同方法生成的IFA逻辑在精确性上的差异。 2.进行信息流分析逻辑生成方法的研究,提出有效的IFA逻辑生成算法,并对所提出算法的复杂度与精确性进行分析和证明。 3.讨论了门级信息流分析的基本原理和静态和动态信息流的安全验证以及信息流分析的两种应用模式的应用,结合具体实例阐述对IFA不同应用模式下的设计方法和流程,并从静态逻辑冒险分析、错误效应传播分析、测试向量自动生成以及可控性与可观测性分析等几个方面展开讨论信息流分析方法在开关电路设计中的应用。

关键词：集成电路逻辑函数信息流分析错误效应测试向量

来源：评论

学校读者我要写书评

暂无评论

基于信息流分析的媒体技术教学应用的研究理路

引用

中国电化教育 2016年第5期 1-5,32页

作者：杨开城何文涛王亚萍北京师范大学教育学部教育技术学院北京100875

教学的对比实验研究存在研究问题定位失误、对比项界定不清、无效的有效性证据、实验设计存在缺陷、把准结论当成定论等问题,无法证明媒体技术的教学有效性,不能帮助人们在细节上理解媒体技术的教学意义。而基于信息流分析的教学研究,... 详细信息

教学的对比实验研究存在研究问题定位失误、对比项界定不清、无效的有效性证据、实验设计存在缺陷、把准结论当成定论等问题,无法证明媒体技术的教学有效性,不能帮助人们在细节上理解媒体技术的教学意义。而基于信息流分析的教学研究,以可重现的教学系统为研究对象,根据实际发生的教学信息流数据推算教学系统质量的整体特征,以此考察媒体技术在教学中的实际作用,这将是媒体技术教学应用研究的新理路。IIS图分析法是相对成熟的基于信息流分析的研究方法。该文提出,利用IIS图分析法可拟定技术产品的知识激活量、激活贡献度、媒体多元性贡献度和功能利用率四个特征指标来表征特定技术产品对教学的实质贡献及教学对它的依赖程度,并通过信息流呈现媒体技术对教学支持的细节,能真实地反映技术产品的教学价值。IIS图分析法所带来的"技术—产品—功能—应用"的思考框架将大大有助于智慧教室等高端产品的设计、开发、试用、推广、升级以及学校的选购等实践工作。

关键词：信息流分析媒体技术有效性教学系统 IIS图分析法

来源：评论

学校读者我要写书评

暂无评论

基于SSA中间表示的源代码信息流分析

引用

计算机工程 2009年第13期35卷 166-168,171页

作者：黄强曾庆凯南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。

关键词：信息流分析隐蔽通道静态单一赋值编译器

来源：评论

学校读者我要写书评

暂无评论

基于通信顺序进程的Android程序复杂信息流分析方法

引用

网络与信息安全学报 2021年第5期7卷 156-168页

作者：袁占慧杨智张红旗金舒原杜学绘信息工程大学河南郑州450001 中山大学广东广州510006

Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法。传统信息流分析方法以单一可达性分析为主,难以分析复杂信息流。提出一种基于通信顺序进程的信息流分析方法,建立应用程序行为的形式化模型,从而全面刻画程序信... 详细信息

Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法。传统信息流分析方法以单一可达性分析为主,难以分析复杂信息流。提出一种基于通信顺序进程的信息流分析方法,建立应用程序行为的形式化模型,从而全面刻画程序信息流行为。基于进程迹等价分析方法能够自动化验证信息流关联、信息流约束等复杂信息流问题,进而判断是否存在敏感信息泄露。实验表明,所提方法能够达到90.99%的准确率。

关键词：安卓信息流分析隐私防护形式化分析通信顺序进程

来源：评论

学校读者我要写书评

暂无评论

动态信息流分析的漏洞利用检测系统

引用

计算机科学 2010年第7期37卷 148-151页

作者：唐和平黄曙光张亮解放军电子工程学院合肥230037

安全相关的函数使用了来自网络用户输入或配置文件的非可信数据,由于未经过严格验证,引发了软件安全问题。大量软件漏洞都与非可信数据传播相关。非可信数据传播分析的漏洞利用检测系统将从网络用户输入或配置文件中获得的非可信数据标... 详细信息

安全相关的函数使用了来自网络用户输入或配置文件的非可信数据,由于未经过严格验证,引发了软件安全问题。大量软件漏洞都与非可信数据传播相关。非可信数据传播分析的漏洞利用检测系统将从网络用户输入或配置文件中获得的非可信数据标记为污染数据,使用信息流方法分析污染数据的传播范围,对可能使用污染数据的函数使用多种策略进行污染检查。借助开源的虚拟机代码实现动态信息流跟踪的漏洞检测原型系统,并优化了漏洞利用检测过程。

关键词：动态污染分析漏洞利用检测信息流分析污染场景分析

来源：评论

学校读者我要写书评

暂无评论

基于信息流分析的隐蔽通道分类与标志

引用

计算机应用研究 2010年第7期27卷 2631-2635页

作者：陈喆刘文清王亚弟梁员宁解放军信息工程大学电子技术学院郑州450004 解放军信息工程大学郑州450001

基于安全操作系统SLinux的设计开发实践,采用信息流序列来描述信息流和隐蔽通道,阐述了基于信息流分析的隐蔽通道的分类,刻画了隐蔽通道信息流分类特性,探讨了隐蔽通道完备性处理方法。在此基础上,提出了基于信息流分析的隐蔽通道通用... 详细信息

基于安全操作系统SLinux的设计开发实践,采用信息流序列来描述信息流和隐蔽通道,阐述了基于信息流分析的隐蔽通道的分类,刻画了隐蔽通道信息流分类特性,探讨了隐蔽通道完备性处理方法。在此基础上,提出了基于信息流分析的隐蔽通道通用检查框架,设计了隐蔽通道信息流标志优化规则,通过实例验证分析,说明该方法能够有效地限制隐蔽通道信息流组合扩散、减少误报伪非法流,能有效简化隐蔽通道的分析过程。

关键词：隐蔽通道信息流分析安全操作系统设计

来源：评论

学校读者我要写书评

暂无评论

基于信息流分析的部分求值技术

引用

软件学报 1995年第8期6卷 509-513页

作者：刘磊郑红军金成植吉林大学计算机科学系北京大学计算机科学技术系

循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．

关键词：部分求值信息流分析程序优化软件自动生成

来源：评论

学校读者我要写书评

暂无评论

基于信息流分析的建设项目可持续性研究

引用

土木工程学报 2012年第S2期45卷 316-320页

作者：孙成双申立银哈尔滨工业大学黑龙江哈尔滨150001 香港理工大学香港999077

建设项目的可持续性是实现社会可持续发展的重要方面。基于信息流分析方法对建设项目全生命周期所涉及的重要信息进行了深入分析,在此基础上,通过文献分析和专家调查法,指出当前建设项目可持续性实践中在信息流方面存在的主要问题,包括... 详细信息

建设项目的可持续性是实现社会可持续发展的重要方面。基于信息流分析方法对建设项目全生命周期所涉及的重要信息进行了深入分析,在此基础上,通过文献分析和专家调查法,指出当前建设项目可持续性实践中在信息流方面存在的主要问题,包括建筑业生产的离散性导致的沟通问题、设计阶段对建设项目可持续性考虑不足、不健全的政策和法律法规、信息自身质量等,并针对这些问题给出了相应的改进方案。研究成果有利于建设项目可持续性的实现。

关键词：建设项目可持续信息流分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：