期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
一种基于源代码的Java代码混淆器的设计与实现 被引量:4
1
作者 杨旭辉 周庆国 +2 位作者 韩根亮 郑礴 祁昌禹 《甘肃科学学报》 2015年第2期28-32,共5页
由于Java语言自身的一些特点,使得Java字节码的反编译变得非常容易,Java代码的安全问题成了困扰开发人员的一大难题。因此,为了保护Java源代码安全,通过对源代码进行预处理、词法分析、语法分析以及语义分析,对自定义类名、方法名和变... 由于Java语言自身的一些特点,使得Java字节码的反编译变得非常容易,Java代码的安全问题成了困扰开发人员的一大难题。因此,为了保护Java源代码安全,通过对源代码进行预处理、词法分析、语法分析以及语义分析,对自定义类名、方法名和变量名用"I"和"l"组成的编码进行替换,并在源码文件适当位置加入干扰代码,从而设计并实现了一种基于源代码的Java代码混淆器。实验结果表明,该混淆器具有过程不可逆、混淆方法简单、混淆结果理想等特点,能够实现对Java源代码的保护,为Java代码开发人员提供了一种有效的源代码保护工具。该混淆器还可与字节码加密软件结合使用,进一步保护Java源代码。 展开更多
关键词 JAVA 代码安全 保护 源代码 混淆器
下载PDF
基于语言的移动代码安全问题 被引量:2
2
作者 郭帆 陈意云 胡荣贵 《计算机科学》 CSCD 北大核心 2002年第11期110-114,共5页
With the development of Internet, traditional network is converting to active network computing, which makes the problem of mobile-code security emerge as one of the most challenges of research in Computer Science tod... With the development of Internet, traditional network is converting to active network computing, which makes the problem of mobile-code security emerge as one of the most challenges of research in Computer Science today. The literature introduces one method that solves the problem of mobile-code security: Language-Based Security,and decribes in detail several methods in this research area, such as Proof-Carrying Code(PCC) and Typed Assembly Language(TAL). Our resolvation of mobile-code safety is presented at last. 展开更多
关键词 信息安全 移动代码 汇编语言 安全问题
下载PDF
一种用于Java虚拟机的类型化低级语言 被引量:3
3
作者 陈晖 陈意云 +1 位作者 吴萍 项森 《计算机研究与发展》 EI CSCD 北大核心 2006年第1期15-22,共8页
为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的... 为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计算基础的Java虚拟机系统为目的·TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象·基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点· 展开更多
关键词 类型化语言 代码安全 验证编译
下载PDF
一种类型化低级语言的设计与应用
4
作者 陈晖 陈意云 项森 《小型微型计算机系统》 CSCD 北大核心 2006年第5期913-918,共6页
介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基... 介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个具有微小的需信任计算基础的Java虚拟机的起点. 展开更多
关键词 类型化语言 代码安全 验证编译
下载PDF
一种新型类型化中间语言的优化实现技术
5
作者 李筱青 陈晖 陈意云 《计算机工程》 EI CAS CSCD 北大核心 2005年第5期63-65,共3页
类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用... 类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntimePlatform)的即时编译器中。 展开更多
关键词 代码安全性 类型化语言 编程语言
下载PDF
一种高效检测源代码安全漏洞的代码审查方法 被引量:4
6
作者 周诚 张涛 +1 位作者 马媛媛 李伟伟 《现代电子技术》 北大核心 2015年第5期83-86,共4页
目前代码安全审查和白盒安全测试被广泛用于分析源代码并检测安全漏洞。这里描述一种基于安全特性参照树的更高效的代码安全审查方法,其中安全特性提取于源代码中所有可操作的内容。这种方法只在源代码层面进行安全检查,可以大大减少错... 目前代码安全审查和白盒安全测试被广泛用于分析源代码并检测安全漏洞。这里描述一种基于安全特性参照树的更高效的代码安全审查方法,其中安全特性提取于源代码中所有可操作的内容。这种方法只在源代码层面进行安全检查,可以大大减少错误代码行为,并为自动化安全审查提供了有效的解决方案。 展开更多
关键词 代码安全检测 漏洞检测 代码审查 参考树
下载PDF
ISM规则的安全管理学原理分析 被引量:3
7
作者 蒋祖星 《航海技术》 北大核心 2001年第5期77-79,共3页
此文用现代安全管理理论分析了ISM规则的安全保障原理,从理论上说明了在ISM规则及其安全管理体系(SMS)的建立、运行、检查等环节中应遵循的基本原则。
关键词 ISM规则 安全管理体系 检查 原理分析 安全保障 理论分析 SMS 基本原则 环节 运行
下载PDF
基于国际安全管理规则的安全管理观念和方法 被引量:4
8
作者 朱清明 《船海工程》 北大核心 2007年第3期137-140,共4页
分析ISM规则所创导的船舶安全管理观念的基本出发点和安全管理方法中的主要依据和具体方法,认为提高对ISM规则的理解和认识,可促进船舶安全和防污染工作的有效开展。
关键词 ISM规则 安全管理体系 管理观念 管理方法
下载PDF
Review of Public-Key Cryptosystem Based on the Error Correcting Code 被引量:1
9
作者 LI Zhongyuan QU Chengqin +1 位作者 ZHOU Xueguang ZHUO Lifeng 《Wuhan University Journal of Natural Sciences》 CAS 2014年第6期489-496,共8页
The paper review the public-key cryptosystems based on the error correcting codes such as Goppa code, BCH code, RS code, rank distance code, algebraic geometric code as well as LDPC code, and made the comparative anal... The paper review the public-key cryptosystems based on the error correcting codes such as Goppa code, BCH code, RS code, rank distance code, algebraic geometric code as well as LDPC code, and made the comparative analyses of the merits and drawbacks of them. The cryptosystem based on Goppa code has high security, but can be achieved poor. The cryptosystems based on other error correcting codes have higher performance than Goppa code. But there are still some disadvantages to solve. At last, the paper produce an assumption of the Niederreiter cascade combination cryptosystem based on double public-keys under complex circumstances, which has higher performance and security than the traditional cryptosystems. 展开更多
关键词 error correcting code public-key cryptosystem cascaded code safety
原文传递
200MW池式供热堆失水事故分析 被引量:1
10
作者 郭景任 施工 +1 位作者 赵兆颐 田嘉夫 《核动力工程》 EI CAS CSCD 北大核心 2000年第2期141-145,共5页
利用轻水堆系统通用的热工水力分析程序RETRAN 02 ,对DPR 3型200MW深水池供热堆的失水事故进行了分析计算。给出了低温常压的水池型反应堆的计算模型、瞬态特性及计算过程。结果表明 ,瞬态参数都在安全准则的规范之内 。
关键词 池式供热堆 失水事故 安全分析 轻水堆
下载PDF
实施国际安全管理规则应符合的有关安全和防污染管理和操作的强制性国际规定
11
作者 施壮怀 《中国航海》 CSCD 北大核心 1996年第2期71-86,共16页
通过1974年海上人命安全公约第Ⅸ章纳入国际安全管理规则,代表了航运安全管理概念上的一次重大改变。由此要求船公司而不仅是船舶和船长去建立、实施和保持一个“安全管理体系”以达到安全管理规则中所规定的目标。航运界也意识到... 通过1974年海上人命安全公约第Ⅸ章纳入国际安全管理规则,代表了航运安全管理概念上的一次重大改变。由此要求船公司而不仅是船舶和船长去建立、实施和保持一个“安全管理体系”以达到安全管理规则中所规定的目标。航运界也意识到保障海上安全不能单靠严格规定船舶、船员和设备的各种规则,而应强化陆上管理来达到。根据安全管理规则的要求,安全管理体系应当保证符合国际公约、议定书和规则以及本国的法律、法令等强制性规定及规则,特别是海事组织制订的公约。该文摘引一部份74海上人命安全公约,73/78防污染公约,78年培训、发证和值班公约中的管理性和操作性规则,并作简要说明,希望船公司在制订管理体系文件时作为参考并有所帮助。 展开更多
关键词 国际安全 管理规则 国际规定 海上安全 污染防治
下载PDF
适用2000 HSC CODE的高速船特点及总体设计要求
12
作者 张伟 曲宁宁 段玉龙 《船舶》 2024年第3期60-67,共8页
高速船由于其航速高、质量轻、营运特殊等特点,需要适用的规则与常规船型不同。2000年的《国际高速船安全规则》(简称2000 HSC CODE)作为较完备的适用于高速船的规则,被各海事主管机关广泛接受作为高速船的设计依据。文中简要介绍2000 H... 高速船由于其航速高、质量轻、营运特殊等特点,需要适用的规则与常规船型不同。2000年的《国际高速船安全规则》(简称2000 HSC CODE)作为较完备的适用于高速船的规则,被各海事主管机关广泛接受作为高速船的设计依据。文中简要介绍2000 HSC CODE的安全原理,以及该规则对各海事主管机关的适用程度;然后通过国内外高速船事故来分析该类船的事故类型及致因特点,并进一步介绍了适用高速船的风险控制及设计措施,包括营运限制、破舱稳性、防火要求和撤离分析等总体设计要求,以供理解高速船的安全原理并指导其设计。 展开更多
关键词 国际高速船安全规则 安全原理 高速船事故 营运限制 船底破损 阻火分隔
下载PDF
深水铺管起重船总体设计 被引量:6
13
作者 顾海军 《船舶设计通讯》 2009年第S1期13-15,22,共4页
本文以"海洋石油201"为例简要介绍了深水铺管起重船的技术要点,对总体设计的主要难点做了分析探讨,包括总布置、船舶运动性能、铺管系统计算及布置和动力定位系统配置等。对影响总体布置的铺管系统、大型起重机、锚泊定位或... 本文以"海洋石油201"为例简要介绍了深水铺管起重船的技术要点,对总体设计的主要难点做了分析探讨,包括总布置、船舶运动性能、铺管系统计算及布置和动力定位系统配置等。对影响总体布置的铺管系统、大型起重机、锚泊定位或动力定位系统、舱室系统等特点作了介绍,对船舶的运动性能做了简单的叙述,对铺管系统及影响铺管系统的因素做了分析,对动力定位特别是动力定位3系统做了介绍。 展开更多
关键词 深水铺管起重船 特种用途船舶安全规则 动力定位 铺管系统
下载PDF
反应堆大型热工水力分析程序计算结果不确定性的来源与对策 被引量:2
14
作者 黄彦平 《核动力工程》 EI CAS CSCD 北大核心 2000年第3期248-252,263,共6页
以CATHARE程序为背景 ,从理论方法、实验技术、模型结构、数值技术、参数敏感性分析方法和基本不确定性计算方法等方面阐述了核反应堆大型热工水力分析程序计算结果不确定性的来源和相应的对策 。
关键词 热工水力学 CATHARE程序 反应堆 计算不确定性
下载PDF
巷道式钢砼结构机械停车库防火设计问题分析 被引量:3
15
作者 孙旋 李引擎 赵克伟 《消防科学与技术》 CAS 北大核心 2010年第1期37-40,共4页
从防火分区、安全疏散、通风和排烟、消防给水、自动喷水灭火系统、火灾自动报警系统等方面分析我国现行防火规范如《汽车库建筑设计规范》、《汽车库、修车库、停车场设计防火规范》等在应用于巷道式钢砼结构机械停车库的防火设计时存... 从防火分区、安全疏散、通风和排烟、消防给水、自动喷水灭火系统、火灾自动报警系统等方面分析我国现行防火规范如《汽车库建筑设计规范》、《汽车库、修车库、停车场设计防火规范》等在应用于巷道式钢砼结构机械停车库的防火设计时存在的问题,并制定出适用于对此类车库的防火设计策略。 展开更多
关键词 机械停车库 防火规范 性能化防火设计
下载PDF
插槽式钢管支撑架应用及规范编制浅析 被引量:1
16
作者 于海祥 吴姣 +2 位作者 吴志鹏 马飞 周雪梅 《重庆建筑》 2014年第10期30-33,共4页
插槽式钢管架体由于搭设快捷,安全度高,在房屋建筑混凝土工程施工中被广泛用作模板支撑架,但必须有可靠的安全技术规范作为技术保证,该文在分析了插槽式钢管模板支撑架的特点和优劣性的基础上,介绍了安全技术规范的编制背景、规范的编... 插槽式钢管架体由于搭设快捷,安全度高,在房屋建筑混凝土工程施工中被广泛用作模板支撑架,但必须有可靠的安全技术规范作为技术保证,该文在分析了插槽式钢管模板支撑架的特点和优劣性的基础上,介绍了安全技术规范的编制背景、规范的编制原则,并详细综述了规范中的执行要点,以期起到建筑施工领域对该类型架体的进一步认识,发挥其优点的作用,并对规范要点进行解读,促进规范的执行准确度和执行力度。 展开更多
关键词 插槽式钢管支模架 安全技术规范 结构设计 构造要求 安全管理
下载PDF
核安全法的指导思想、体系与内容 被引量:1
17
作者 陈伟 《沈阳工程学院学报(社会科学版)》 2011年第3期370-372,共3页
在我国,核能利用是大势所趋,核安全立法则势在必行。核安全立法应贯彻以人为本、预防为主、全程管控的立法指导思想,其体系内容应该包括审批管理制度、常规运行管理制度、风险监测和风险评估制度、核安全信息发布制度、核安全事故处置... 在我国,核能利用是大势所趋,核安全立法则势在必行。核安全立法应贯彻以人为本、预防为主、全程管控的立法指导思想,其体系内容应该包括审批管理制度、常规运行管理制度、风险监测和风险评估制度、核安全信息发布制度、核安全事故处置制度、核安全事故责任承担制度等。 展开更多
关键词 核安全法 指导思想 体系 内容
下载PDF
谈核电厂安全规定修改Ⅰ版本
18
作者 盛维兰 《核动力工程》 EI CAS CSCD 北大核心 1994年第2期181-186,共6页
中国国家核安全局于1986年7月发布了核电厂厂址选择、设计、运行和质量保证安全规定,核安全法规HAF0100—0400。于1991年7月发布了修改Ⅰ版本.本文阐述了作者本人对核安全法规修改的目的意义和主要修改内容的看法。
关键词 核电站 辐射防护 安全规定
下载PDF
《建筑钢结构防火技术规范》解读及应用 被引量:1
19
作者 毛俊宇 《江西建材》 2020年第4期185-186,188,共3页
结合欧洲规范中钢结构升温防火试验与公式,分析规范提出的钢构升温特性。按照规范条文实例,研究比对有无涂料保护钢构强度计算结果,并通过实例量化规范中所推荐防火涂料对钢构件的保护作用。归纳现今流行常用的钢结构抗火措施。
关键词 建筑钢结构 防火技术规范 等效热阻 膨胀型防火涂料
下载PDF
中国核安全法论纲
20
作者 陈伟 《北华大学学报(社会科学版)》 2011年第4期84-87,共4页
核能利用是一把双刃剑。一系列核安全事故警示我们:中国核安全立法势在必行。我国核安全法应贯彻以人为本、预防为主、全程管控的立法指导思想,其体系内容应该包括审批管理制度、常规运行管理制度、风险监测和风险评估制度、核安全信息... 核能利用是一把双刃剑。一系列核安全事故警示我们:中国核安全立法势在必行。我国核安全法应贯彻以人为本、预防为主、全程管控的立法指导思想,其体系内容应该包括审批管理制度、常规运行管理制度、风险监测和风险评估制度、核安全信息发布制度、核安全事故处置制度、核安全事故责任承担制度,等等。 展开更多
关键词 核安全法 论纲 指导思想 体系
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部