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

作者：梁泰崧冷炜镧王雷武文斌程翀刘亚奇江涛刘炯 100007 北京市东城区东直门北大街9号

本发明提供了一种大型企业内部自开发信息系统代码的安全测评方法及系统。本发明利用代码安全可视化集成管理技术，分布式消息队列技术，流量采集技术和漏洞检测技术实现对企业内部自开发系统代码的安全检测，高危漏洞扫描，有效解决自... 详细信息

标准号: CN115964713A

本发明提供了一种大型企业内部自开发信息系统代码的安全测评方法及系统。本发明利用代码安全可视化集成管理技术，分布式消息队列技术，流量采集技术和漏洞检测技术实现对企业内部自开发系统代码的安全检测，高危漏洞扫描，有效解决自开发信息系统在上线后安全漏洞频发的问题，同时通过可视化集成管理技术，为公司信息化管理层对各级开发部门的代码安全情况与信息安全情况提供实时可靠的数据支撑。此外，本发明可适用于大型企业内部自有信息系统开发团队，通过将安全测试流程左移到开发阶段，在信息系统上线前对代码侧进行信息安全漏洞检测，及时有效的发现信息安全漏洞。

关键词：信息系统安全漏洞代码安全集成管理信息安全可视化上线大型企业开发漏洞检测技术信息系统开发分布式消息安全测试安全检测队列技术发现信息开发系统流量采集漏洞检测漏洞扫描企业内部数据支撑有效解决管理层信息化测评左移团队安全

来源：评论

学校读者我要写书评

暂无评论

二进制代码安全性分析

二进制代码安全性分析

引用

作者：李朝君中国科学技术大学

学位级别：硕士

代码安全在计算机系统中占有重要的地位,针对软件源代码进行安全性分析的工具和方法大量出现,对加强软件的代码安全起到了很好的作用。然而大量使用的商业软件是以二进制代码形式存在的,这使得以源代码为分析对象的软件代码安全分析技... 详细信息

代码安全在计算机系统中占有重要的地位,针对软件源代码进行安全性分析的工具和方法大量出现,对加强软件的代码安全起到了很好的作用。然而大量使用的商业软件是以二进制代码形式存在的,这使得以源代码为分析对象的软件代码安全分析技术无能为力。二进制代码作为软件的最终表现形式,在现阶段也是很多软件的唯一表现形式。研究针对二进制代码进行安全性分析的方法和技术是有意义的。源代码安全性分析以静态分析为主,而二进制代码安全性分析以动态分析为主。本文比较全面地分析了以二进制代码为分析对象的代码安全性分析技术面临的挑战和迎接这些挑战所做的努力和可行的技术方法,介绍了pin和valgrind所使用的二进制动态插装的动态分析技术以及BitBlaze采用的动静结合的动态fuzzing技术,着重分析了动态fuzzing技术的不足,讨论了常见的语义结构及漏洞模式在二进制代码上的表现形式。在此基础上,将源代码安全性分析中广泛使用的符号执行技术用于二进制代码的安全性分析,提出了动态分析和符号执行相结合的二进制代码安全性分析技术。二进制代码分析具有很大的困难,常见的漏洞模式在二进制代码上的表现形式难以确定,尤其是难以精确判断栈上缓冲区的边界;二进制代码提升过程中一些指令无法解析,甚至会出现跳转地址不合法之类的结构性的错误,使得后续的分析精确性降低。本文实现了一个动态符号执行的二进制代码安全性分析的原型工具bats,实验结果表明将动态分析和符号执行技术结合起来对二进制代码进行安全性分析是可行的,在符号执行时对潜在漏洞进行充分分析的前提下,可以防止动态fuzzing技术由于测试不充分造成的漏报。

关键词：二进制分析符号执行代码安全软件安全

来源：评论

学校读者我要写书评

暂无评论

浅谈PHP＋MYSQL注射语句构造——Okphp BBS v1.3代码安全分析

引用

黑客防线 2004年第06S期 30-32页

作者：黑嘿黑≯Super·Hei

由于PHP和MYSQL本身的原因，PHP+MYSQL的注射要比ASP困难，尤其是注射时语句的构造方面更是个难点，本文主要借对Okphp BBS v1.3一些文件的简单分析来谈谈php+mysql注射语句构造方式．希望本文对喜欢PHP注入的你有帮助。

关键词： OkphpBBSv1.3 代码安全 PHP MYSQL 网络安全计算机网络

来源：评论

学校读者我要写书评

暂无评论

嵌入式代码系统的安全研究

嵌入式代码系统的安全研究

引用

2008中国计算机大会

作者：程元斌江汉大学数学与计算机科学学院湖北武汉 430056

代码安全,包括操作系统、各种对象与代码库,以及应用程序等的安全,在系统安全中是最重要的,是整个信息系统安全的基础。在通用计算机系统中,人们采用防火墙、杀毒防毒软件、安全网关等于代码安全,取得了较好的效果。但由于嵌入式系统的... 详细信息

代码安全,包括操作系统、各种对象与代码库,以及应用程序等的安全,在系统安全中是最重要的,是整个信息系统安全的基础。在通用计算机系统中,人们采用防火墙、杀毒防毒软件、安全网关等于代码安全,取得了较好的效果。但由于嵌入式系统的特殊性,这些手段不适于一般的嵌入式设备。为了有效地保证嵌入式系统的代码安全,必须另辟蹊径。本文提出程序特征码这一概念。使用程序特征码,可对代码的可信性、真实性等进行有效的判别,从而保证得到执行的程序都是安全可信的。本文还给出了一种适合于嵌入式系统的程序特征码计算算法。

关键词：嵌入式代码系统程序特征码代码安全

来源：评论

学校读者我要写书评

暂无评论

代码审计工作在整个安全保障体系中的重要价值

引用

计算机安全 2013年第12期 32-35页

作者：梁业裕徐坦宁建创杨明中国移动通信集团广西有限公司广西南宁530022

首先就通信运营商的系统安全问题和代码现状进行了阐述,之后以通信运营商代码审计遵循目标原则进行展开。给出了具体代码审计方法,引出代码审计成功的要素以及代码审计工作具体过程,最后给出了代码审计工作的重要价值与意义。

关键词：系统源代码代码审计代码安全

来源：评论

学校读者我要写书评

暂无评论

守卫海量数据云安全

守卫海量数据云安全

引用

深圳特区报

作者：樊怡君

“海云安意指海量数据云安全，这是我们矢志不渝的奋斗目标。”深圳海云安网络安全技术有限公司联合创始人、副总经理纪舟航如是说。让记者对这家国家级专精特新“小巨人”企业印象深刻的，不仅是它能充当“数字医生”为网络安全“把脉... 详细信息

“海云安意指海量数据云安全，这是我们矢志不渝的奋斗目标。”深圳海云安网络安全技术有限公司联合创始人、副总经理纪舟航如是说。让记者对这家国家级专精特新“小巨人”企业印象深刻的，不仅是它能充当“数字医生”为网络安全“把脉开方”，还有企业以百万年薪招揽刚从大......

关键词：云安全海量数据代码安全

来源：评论

学校读者我要写书评

暂无评论

基于类型化内存地址的安全策略的设计与实现

引用

计算机研究与发展 2003年第7期40卷 1001-1007页

作者：郭帆陈意云胡荣贵中国科学技术大学计算机科学与技术系合肥230026

提出了一种检查代码安全的类型安全策略 ,详细描述了该策略的逻辑表示、形式化描述和基于该策略的证明方法 ,最后给出一个基于该策略的定理证明器HBTSTP 策略的核心思想是给每个合法的内存地址赋予类型 ,使用符号表达式记录内存的状态变... 详细信息

提出了一种检查代码安全的类型安全策略 ,详细描述了该策略的逻辑表示、形式化描述和基于该策略的证明方法 ,最后给出一个基于该策略的定理证明器HBTSTP 策略的核心思想是给每个合法的内存地址赋予类型 ,使用符号表达式记录内存的状态变化 ,对于需要读写内存的指令 ,调用证明器进行类型检查。

关键词：类型安全策略证明方法类型检查代码安全逻辑表示形式化描述

来源：评论

学校读者我要写书评

暂无评论

一种用于Java虚拟机的类型化低级语言

引用

计算机研究与发展 2006年第1期43卷 15-22页

作者：陈晖陈意云吴萍项森中国科学技术大学计算机科学与技术系合肥230027

为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的... 详细信息

为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计算基础的Java虚拟机系统为目的·TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象·基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点·

关键词：类型化语言代码安全验证编译

来源：评论

学校读者我要写书评

暂无评论

C语言静态代码分析中的调用关系提取方法

引用

计算机科学 2014年第S1期41卷 442-444页

作者：江梦涛荆琦北京大学软件与微电子学院北京100871

程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。首先对程序静态分析的... 详细信息

程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述,然后通过一个实例讲解C语言静态代码分析中函数与变量的调用关系的实现方法,总结了现今在C语言调用关系分析中可以借鉴的工具与实现方式。

关键词：程序静态分析函数调用代码安全

来源：评论

学校读者我要写书评

暂无评论

一种类型化低级语言的设计与应用

引用

小型微型计算机系统 2006年第5期27卷 913-918页

作者：陈晖陈意云项森中国科学技术大学计算机系安徽合肥230027

介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基... 详细信息

介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个具有微小的需信任计算基础的Java虚拟机的起点.

关键词：类型化语言代码安全验证编译

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：