收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于信息流分析的C代码安全编译技术研究

赵秀凤  郭渊博  方青坡  
【摘要】:提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄强;曾庆凯;;基于SSA中间表示的源代码信息流分析[J];计算机工程;2009年13期
2 陈品瓒;;TRS——80 FORTRAN使用手册[J];微计算机应用;1980年05期
3 张敬珍;;Transputer并行处理系统用Helios-PC分布式操作系统[J];计算机仿真;1990年01期
4 晓玲;性能还是效率?这是个问题[J];中国计算机用户;1996年08期
5 郑先容,黄杰,贾焰;基于CORBA构件模型的编译器的研究与实现[J];计算机应用;2005年01期
6 张军超,张兆庆;汇编代码中的热路径搜寻工具[J];计算机工程;2005年16期
7 陈辉;郭艳玲;;用LEX构造数控编译器词法分析程序的研究[J];机电工程技术;2006年02期
8 黎远松;;汇编语言程序设计技术研究[J];成都大学学报(自然科学版);2006年01期
9 陈东;张承瑞;李剑峰;;运动控制器控制语言及编译系统研究[J];精密制造与自动化;2006年03期
10 肖洋;姜淑娟;;一种LR语法分析中的错误恢复方法[J];计算机工程;2007年04期
11 吴圣宁;李思昆;;基于目标代码大小的指令选择[J];计算机工程与科学;2007年02期
12 张嘉铭;张思博;赵建军;;基于契约式设计的Java编译器实现[J];微型电脑应用;2007年03期
13 Jeff Keasler;罗小平;;C++程序性能保持移植[J];程序员;2008年09期
14 吴殿红;刘阳;;C和C++中使用主函数要注意的问题[J];黑龙江科技信息;2008年28期
15 邹昌伟;;面向教学的类C编译器的设计与实现[J];福建师范大学学报(自然科学版);2008年06期
16 白云晖;;SQL编译器的语义分析研究[J];电脑编程技巧与维护;2009年14期
17 郑阳;付丽君;黄志钢;;用于PLC的华P语言编译器设计与实现[J];沈阳理工大学学报;2009年05期
18 Mike Wiggins;冯谦;柴大明;;Windows BASIC一席谈[J];计算机世界;1994年01期
19 Thomas Mace ,Jay Munro ,杨雪南 ,周继煌;C++编程:引人注目的发展[J];个人电脑;1995年07期
20 向贤兵;MATLAB编译器及其应用[J];重庆电力高等专科学校学报;2000年03期
中国重要会议论文全文数据库 前10条
1 赵秀凤;郭渊博;方青坡;;基于信息流分析的C代码安全编译技术研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
2 董淳;李孟恒;王敏慧;;DATALOG编译器的设计和实现[A];第十五届全国数据库学术会议论文集[C];1998年
3 缪道期;;评审计算机安全等级[A];第二次计算机安全技术交流会论文集[C];1987年
4 石玉平;何银南;郭俊杰;张琳;;机电测控系统调用Matlab函数的实现[A];制造技术自动化学术会议论文集[C];2002年
5 于增贵;;生物识别安全技术[A];四川省通信学会2002年学术年会论文集[C];2002年
6 吴元立;丁博;史殿习;刘惠;王怀民;;普适计算环境下的构件模型映射机制的研究与实现[A];第四届和谐人机环境联合学术会议论文集[C];2008年
7 李梅娟;蔡勉;常伟华;贾佳;;操作系统安全等级测评技术研究[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
8 柴军;;党政机关办公系统亟待等级保护[A];第二十次全国计算机安全学术交流会论文集[C];2005年
9 熊明;熊岚;唐常杰;;HBASE的时态查询语言和编译器[A];第十届全国数据库学术会议论文集[C];1992年
10 陈艳华;李红宇;;流程序设计语言Brook研究[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年
中国博士学位论文全文数据库 前10条
1 王博;基于Streamit编译器的异构执行环境研究[D];清华大学;2011年
2 金乃咏;资源模型与系统级描述语言的硬件综合[D];华东师范大学;2006年
3 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
4 黄勇;安全系统形式化设计与分析研究[D];浙江大学;2009年
5 随阳轶;基于数据流可视化语言的虚拟仪器开发平台的研究[D];吉林大学;2008年
6 胡燕;编译过程安全性基础研究[D];中国科学技术大学;2007年
7 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年
8 朱嘉华;SIMD编译优化方法研究[D];复旦大学;2005年
9 杨晓奇;事务存储编程和KD-50-I万亿次机软件库优化的若干问题研究[D];中国科学技术大学;2008年
10 杨灿群;面向高效能计算的编译关键技术:精度、性能与功耗[D];国防科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 黄华;多领域统一建模语言分析器研究与实现[D];华中科技大学;2005年
2 黎凯伦;Java集成开发环境中编译、装载和多候选方案的可视化研究与实现[D];广东工业大学;2006年
3 覃安;计算机代数系统的设计与实现[D];中国科学院研究生院(成都计算机应用研究所);2006年
4 阳俐君;信息家电接口描述语言及其编译器的研究与设计[D];湖南师范大学;2007年
5 王磊;草地场景的模拟与真实感绘制[D];浙江大学;2004年
6 尹作为;基于C编译器的遥感图像分析软件初步设计[D];武汉大学;2005年
7 潘杭平;SmartLCC:面向嵌入式系统的编译器研究与开发[D];浙江大学;2006年
8 王浩;数据流连续查询处理系统设计与实现[D];东南大学;2006年
9 袁晓红;可编程控制器梯形图语言编译器的研究与设计[D];中南大学;2004年
10 包云程;构建基于动态二进制翻译技术的进程虚拟机[D];上海交通大学;2007年
中国重要报纸全文数据库 前10条
1 王握文、特约通讯员 司宏伟;“银河麒麟”服务器操作系统研制成功[N];解放军报;2006年
2 记者 刘恕;“银河麒麟”操作系统安全等级最高[N];科技日报;2006年
3 ;什么是编译器[N];中国计算机报;2002年
4 浙江 朱永章;初识编译器gcc[N];电脑报;2004年
5 记者 吴苡婷;国内首款商用反编译器上海造[N];上海科技报;2010年
6 记者 杨文利;我国安全等级最高的“银可麒麟”操作系统通过验收[N];中国高新技术产业导报;2006年
7 卢旭成;Intel推出编译器专业版 简化开发多核处理器[N];中国计算机报;2007年
8 记者 王臻;力促多核应用 英特尔推出软件新品[N];计算机世界;2007年
9 谢海燕;Vista 的WSD机制[N];计算机世界;2007年
10 薛京树张春良;GKR为信息安全带来的革命[N];中国航天报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978