检索结果-维普期刊中文期刊服务平台

高层综合中一种新的控制/数据流图表示形式被引量：1: 1; 作者曹炜林争辉《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页; 提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构。; 关键词电子设计自动化高层综合控制/数据流图调度; 在线阅读下载PDF 职称材料

基于XCFG的BPEL数据流属性分析与验证被引量：3: 2; 作者吉顺慧李必信邱栋《电子学报》 EI CAS CSCD 北大核心 2013年第7期1365-1370,共6页; BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证... 展开更多; 关键词 WEB服务组合扩展控制流图(XCFG) 数据流属性验证; 在线阅读下载PDF 职称材料

集成电路的模块生成与选择算法被引量：2: 3; 作者郎荣玲戴冠中《电子学报》 EI CAS CSCD 北大核心 2005年第11期1955-1958,共4页; 借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所... 展开更多; 关键词模块模块化技术规则性控制数据流图; 在线阅读下载PDF 职称材料

面向能耗相关软/硬件划分的层次化控制数据流图建模方法: 4; 作者郭兵曾蜀芳 +3 位作者沈艳王继禾伍元胜刘云本《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第4期83-88,共6页; 针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包... 展开更多; 关键词软/硬件划分控制数据流图粒度变换能耗优化; 在线阅读下载PDF 职称材料

软/硬件协同设计方法学研究的现状与分析被引量：5: 5; 作者汤磊魏少军仇玉林《固体电子学研究与进展》 CAS CSCD 北大核心 2003年第2期205-209,245,共6页; 通过简述集成电路工业的发展现状 ,引出软 /硬件协同设计方法学研究的重要性 ,并阐释了软 /硬件协同设计的主要概念。然后 ,着重介绍了目前各种有关国际成果和主流方向 ,并结合对相关领域问题的分析 ,深入分析了这些研究导向的共性与不... 展开更多; 关键词软/硬件协同设计系统级综合系统代价约束条件控制数据流图集成电路; 在线阅读下载PDF 职称材料

基于控制流隐藏的代码迷惑: 6; 作者孙喁喁《电子设计工程》 2015年第6期27-29,32,共4页; 为了保护程序免受恶意攻击,确保软件的安全执行,提出了一种隐藏控制流图压平的代码迷惑方法。在已有的控制流图压平的基础上,引入分支函数和转移函数,建立了加强的压平控制流模型以防静态分析。本方案的安全性更多的是基于数据流,其模... 展开更多; 关键词控制流图压平代码迷惑静态分析数据流逆向工程; 在线阅读下载PDF 职称材料

从GCC的AST文本提取C源程序静态信息的方法被引量：2: 7; 作者封战胜苏小红马培军《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1100-1103,共4页; 为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树(AST)文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析... 展开更多; 关键词程序静态分析 AST 控制依赖数据依赖控制流图系统依赖图; 在线阅读下载PDF 职称材料

基于区块链的真实世界数据共享系统研究被引量：1: 8; 作者刘尚麟廖思捷 +1 位作者杨春霞范佳《信息安全研究》 2022年第1期49-54,共6页; 针对真实世界大数据应用,以区块链为基础设施,构建支持数据溯源、隐私保护、以患者为中心的数据共享平台,开发了原型系统,进行了关键算法验证.基于最小哈希的局部敏感哈希的非标注数据溯源技术,结合区块链,实现数据来源可追溯可信可验证... 展开更多; 关键词区块链真实世界数据控制流图局部敏感哈希最小哈希; 在线阅读下载PDF 职称材料

针对PHP应用的二阶漏洞检测方法被引量：1: 9; 作者周航方勇 +2 位作者黄诚刘亮陈兴刚《信息安全研究》 2018年第4期380-386,共7页; 传统的漏洞检测工具在对Web二阶漏洞进行检测时,普遍存在误报率高的缺点.为了解决这类问题,针对二阶漏洞产生原理进行研究,提出了一种基于静态分析的二阶漏洞检测方法,并实现了相应的自动化工具CodeAn.该方法首先对所有数据表创建语句... 展开更多; 关键词漏洞检测静态分析二阶漏洞数据流分析控制流图; 在线阅读下载PDF 职称材料

题名高层综合中一种新的控制/数据流图表示形式被引量：1: 1; 作者曹炜林争辉; 机构上海交通大学大规模集成电路研究所; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页; 文摘提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构。; 关键词电子设计自动化高层综合控制/数据流图调度; Keywords electronic design automation high-level synthesis control/data flow graph (CDFG) scheduling optimization; 分类号 TN602 [电子电信—电路与系统] TN402 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名基于XCFG的BPEL数据流属性分析与验证被引量：3: 2; 作者吉顺慧李必信邱栋; 机构东南大学计算机科学与工程学院; 出处《电子学报》 EI CAS CSCD 北大核心 2013年第7期1365-1370,共6页; 基金国家自然科学基金(No.60973149) 博士点基金(No.20100092110022) 江苏省高校科研成果产业化推进项目(No.JHB2011-3); 文摘 BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.; 关键词 WEB服务组合扩展控制流图(XCFG) 数据流属性验证; Keywords Web service composition extended control flow graph（XCFG） data flow property verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名集成电路的模块生成与选择算法被引量：2: 3; 作者郎荣玲戴冠中; 机构西北工业大学; 出处《电子学报》 EI CAS CSCD 北大核心 2005年第11期1955-1958,共4页; 文摘借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所有模块,并且对电路系统以及模块的结构没有限制.本文还提出了一个模块选择算法,此算法可以在满足一定要求的前提下选择一部分模块覆盖整个电路,同时还对算法进行了实验分析.; 关键词模块模块化技术规则性控制数据流图; Keywords template modularity regularity control data flow graph; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向能耗相关软/硬件划分的层次化控制数据流图建模方法: 4; 作者郭兵曾蜀芳沈艳王继禾伍元胜刘云本; 机构四川大学计算机学院成都信息工程学院控制工程学院; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第4期83-88,共6页; 基金国家"863"高技术研究发展计划资助项目(2008AA01Z105) 四川省杰出青年科技基金资助项目(2010JQ0011); 文摘针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。; 关键词软/硬件划分控制数据流图粒度变换能耗优化; Keywords hardware/software partitioning control and data flow graph granularity conversion energy consumption optimization; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名软/硬件协同设计方法学研究的现状与分析被引量：5: 5; 作者汤磊魏少军仇玉林; 机构中国科学院微电子中心清华大学微电子所; 出处《固体电子学研究与进展》 CAS CSCD 北大核心 2003年第2期205-209,245,共6页; 基金国家自然科学基金 (项目编号 :696760 2 4)资助; 文摘通过简述集成电路工业的发展现状 ,引出软 /硬件协同设计方法学研究的重要性 ,并阐释了软 /硬件协同设计的主要概念。然后 ,着重介绍了目前各种有关国际成果和主流方向 ,并结合对相关领域问题的分析 ,深入分析了这些研究导向的共性与不足。最后以此为基础 ,试提出了“全定制”软; 关键词软/硬件协同设计系统级综合系统代价约束条件控制数据流图集成电路; Keywords HW/SW co-design system-level synthesis system cost restriction condition control data flow graph(CDFG); 分类号 TN402 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名基于控制流隐藏的代码迷惑: 6; 作者孙喁喁; 机构西安工业大学; 出处《电子设计工程》 2015年第6期27-29,32,共4页; 基金陕西省教育厅自然科学专项基金(2013JK1191); 文摘为了保护程序免受恶意攻击,确保软件的安全执行,提出了一种隐藏控制流图压平的代码迷惑方法。在已有的控制流图压平的基础上,引入分支函数和转移函数,建立了加强的压平控制流模型以防静态分析。本方案的安全性更多的是基于数据流,其模型是结构化且可扩展的,难以重构原始控制流图,所使用的单向函数不会静态的泄露任何控制流信息。若要理解程序控制流,攻击者必须对更大的代码段进行分析,能有效的防止静态逆向工程。; 关键词控制流图压平代码迷惑静态分析数据流逆向工程; Keywords control flow graph flattening code obfuscation static analysis data flow reverse engineering; 分类号 TN915.08 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名从GCC的AST文本提取C源程序静态信息的方法被引量：2: 7; 作者封战胜苏小红马培军; 机构哈尔滨工业大学计算机科学与技术学院; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1100-1103,共4页; 基金国家自然科学基金资助项目(60673035); 文摘为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树(AST)文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析和数据流分析无关的结点信息;其次,构建控制依赖子图;同时如果需要数据流分析,在控制依赖子图的基础上构建控制流图,在控制流图的基础上构建数据流子图;最后通过引入过程间分析来完善系统依赖图.实验结果表明,这种方法基本能正确的分析源程序的控制依赖和数据依赖关系,具有更好的适应性和灵活性.; 关键词程序静态分析 AST 控制依赖数据依赖控制流图系统依赖图; Keywords program static analysis abstract syntax tree（AST） control dependence data dependence control flow graph system dependence graph; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于区块链的真实世界数据共享系统研究被引量：1: 8; 作者刘尚麟廖思捷杨春霞范佳; 机构工业信息安全(四川)创新中心公司技术研究部中国电子科技网络信息安全有限公司区块链研究中心; 出处《信息安全研究》 2022年第1期49-54,共6页; 文摘针对真实世界大数据应用,以区块链为基础设施,构建支持数据溯源、隐私保护、以患者为中心的数据共享平台,开发了原型系统,进行了关键算法验证.基于最小哈希的局部敏感哈希的非标注数据溯源技术,结合区块链,实现数据来源可追溯可信可验证;设计专门的隐私保护隔离区,采用容器和虚拟机双层隔离保护机制,程序将加密发布的真实世界数据下载到隔离区内,解密后分析处理,用后解密明文立刻销毁,实现数据隐私保护;同时使用区块链、控制流图、最小哈希、局部敏感哈希等技术登记分析程序指纹,进行计算程序身份安全验证.; 关键词区块链真实世界数据控制流图局部敏感哈希最小哈希; Keywords blockchain real-world data control flow graph LSH MinHash; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名针对PHP应用的二阶漏洞检测方法被引量：1: 9; 作者周航方勇黄诚刘亮陈兴刚; 机构四川大学电子信息学院四川大学网络空间安全学院成都市计量检定测试院; 出处《信息安全研究》 2018年第4期380-386,共7页; 文摘传统的漏洞检测工具在对Web二阶漏洞进行检测时,普遍存在误报率高的缺点.为了解决这类问题,针对二阶漏洞产生原理进行研究,提出了一种基于静态分析的二阶漏洞检测方法,并实现了相应的自动化工具CodeAn.该方法首先对所有数据表创建语句进行提取,并利用语法分析重建数据库结构;然后通过遍历抽象语法树构建的控制流图对数据库的读写过程进行数据流分析,再结合敏感函数和净化函数分析,从而实现对PHP应用中Web二阶漏洞的检测.; 关键词漏洞检测静态分析二阶漏洞数据流分析控制流图; Keywords vulnerability detection static analysis second-order vulnerability data flow analysis control flow graph; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	高层综合中一种新的控制/数据流图表示形式	曹炜林争辉	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	1	在线阅读下载PDF 职称材料
2	基于XCFG的BPEL数据流属性分析与验证	吉顺慧李必信邱栋	《电子学报》 EI CAS CSCD 北大核心	2013	3	在线阅读下载PDF 职称材料
3	集成电路的模块生成与选择算法	郎荣玲戴冠中	《电子学报》 EI CAS CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
4	面向能耗相关软/硬件划分的层次化控制数据流图建模方法	郭兵曾蜀芳沈艳王继禾伍元胜刘云本	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
5	软/硬件协同设计方法学研究的现状与分析	汤磊魏少军仇玉林	《固体电子学研究与进展》 CAS CSCD 北大核心	2003	5	在线阅读下载PDF 职称材料
6	基于控制流隐藏的代码迷惑	孙喁喁	《电子设计工程》	2015	0	在线阅读下载PDF 职称材料
7	从GCC的AST文本提取C源程序静态信息的方法	封战胜苏小红马培军	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
8	基于区块链的真实世界数据共享系统研究	刘尚麟廖思捷杨春霞范佳	《信息安全研究》	2022	1	在线阅读下载PDF 职称材料
9	针对PHP应用的二阶漏洞检测方法	周航方勇黄诚刘亮陈兴刚	《信息安全研究》	2018	1	在线阅读下载PDF 职称材料