分享到:

联合信源开放AVS解码软件源代码

近日,AVS产业联盟成员联合信源数字音视频技术公司携手共创软件联盟,在后者的网站上公布了AVS解码软件源代码。用户可以通过下载获得该代码,亲身体验AVS...  (本文共1页) 阅读全文>>

北京邮电大学
北京邮电大学

基于多模式匹配算法的软件源代码检测系统的研究与设计

随着互联网行业的发展,大量的软件产品投入市场供大众使用。软件给人们的生活提供便利的同时,带来的安全问题也层出不穷。软件的漏洞可能使个人信息、企业数据甚至国家机密信息遭到泄露,给国家和企业都带来致命的损失。因此,提出一款高效且有效的软件检测系统变得十分迫切。本文对基于源代码的静态检测技术以及模式匹配技术进行了深入研究,分析了当前流行的基于模式匹配的检测模型,根据此模型检测过程中资源消耗过多的问题提出了一种改进的模型,并基于改进模型实现了一个软件源代码检测系统,经实验结果表明软件源代码检测系统能有效的检测代码漏洞,降低资源消耗的同时提高了检测效率。整篇论文的研究工作主要有以下几方面:(1)提出一种改进的基于模式匹配的检测模型。论文对基于模式匹配的检测模型进行了深入研究,由于检测过程中生成大量的自动机,模型存在资源消耗过多、检测速度较慢的问题,针对这一问题提出了加入规则预判的方案,有效的减少了资源的消耗,提高了检测速度。(2)提出了在...  (本文共64页) 本文目录 | 阅读全文>>

《市政技术》2010年S1期
市政技术

中国版权保护中心一季度计算机软件著作权登记同比增14.1%

2010年第一季度,中国版权保护中心计算机软件著作权登记15 938件,同比增长14.1%;计算机软件著作权转让合同登记7件;计算机软件著作权专有许可合同登记11件;计算机软件著作权质押合同登记27件;软件登记事项变更或补充登记814件;查询软件登记档案2 150件;法院查调档16件...  (本文共1页) 阅读全文>>

西安电子科技大学
西安电子科技大学

软件源代码安全分析研究

信息系统安全性格局的大变化,将软件安全性推到关乎全局的关键位置,安全分析是用于增强系统安全性的有效手段之一。由于设计阶段所形成的安全规范与编程规范通常较清晰地反映在源代码中,因此通过软件源代码安全分析方法自动检测系统中存在的安全漏洞具有重要意义。本文在对软件安全漏洞分类及相关软件安全分析技术研究的基础上,提出并实现了用于软件安全分析的编译器基础架构;采用自上而下的分析方法实现了程序语义分析,引入了类型系统形式化方法及基于自动机的定制安全分析手段,实现了典型安全漏洞的自动检测。论文研究的具体内容包括:(1)用于软件安全分析的编译器基础架构本文将传统用于编译器开发的编译器基础架构引入软件安全分析,提出了针对安全分析的基础架构模型。采用开放编译器工具ANTLR构造了C/C++与Java语言语法分析前端,为程序设计语言源代码构建完整的中间表示,引入了专用的程序基本语义信息收集层次,为安全分析提供了较为准确的程序语义信息,形成了一种支持全...  (本文共130页) 本文目录 | 阅读全文>>

《法制与社会》2010年08期
法制与社会

软件源代码专利保护的理念冲突与技术困境

软件是指挥计算机解决某问题而编写的程序及相关文档的总称。计算机程序通常包括源程序和目标程序,又称源代码和目标代码。二者表达形式不同,内容本质相同。前者是后者产生的基础,后者是前者编译的必然结果,其内容和修改都依赖于前者。因此,我国《计算机软件保护条例》明确规定二者属于同一软件作品。如图所示,软件技术开发,即开发人员分析用户需求,明确软件预期功能,选择高级语言编制源代码的过程。而源代码编译成目标代码并运行只需由开发工具包自动完成。源代码直接面向编程人员,兼具表达的文字性与功能的技术性双重特征,直接反映开发者的思想和结构设计,决定软件的技术含量和智力水平。获取和阅读源代码是用户及其它开发者获知软件关键技术的必然途径,尤其对后者而言,更是借鉴该软件现有技术,进行更高水平研究和创新的必由之路。对源代码知识产权保护的探讨,不仅是对软件核心技术的关注,也是将软件技术层面相关具体问题体系化的内在线索和共同本质。一、各主要国家对软件源代码专利法...  (本文共2页) 阅读全文>>

《武汉科技学院学报》2010年06期
武汉科技学院学报

从软件源代码的技术特征看开源软件与反向工程的法律属性

1软件源代码的编码过程及技术地位软件是指挥计算机解决某问题而编写的程序及相关文档的总称。计算机程序通常包括源程序和目标程序,又称源代码和目标代码。二者虽然表达形式不同,但内容本质相同。因此,我国《计算机软件保护条例》明确规定二者属于同一软件作品。[1]然而,二者所采用的编码语言、成码过程、针对对象及用途都有明显差别:源代码编写使用的是类似于自然语言和数学公式的高级语言或汇编语言,如C、Java、Basic、Fortran语言等。其主要面向编程人员,可被专业人员阅读修改,但不能直接被计算机识别和执行,不依赖于具体的计算机硬件。在不同情况下,程序员可根据自身的国籍、语种、程序开发的技术要求等选择最适合的一种或几种高级语言编写源代码,以便于其技术思想的表达和开发。目标代码则以0或1的二进制编码形式表示,能直接指挥计算机各种硬件如存储器、处理器、输入设备、运算器、控制器等执行各项操作,实现一定功能。它通常无需编写,只需由开发工具包①提供...  (本文共5页) 阅读全文>>