协变多态计算中类型安全问题的研究 被引量：1

1

作者 王筱瑾 陶先平 +1 位作者 柳杨 吕建 《计算机科学》 CSCD 北大核心 1999年第3期15-18,40,共5页

1.引言在O-O程序设计中,保证类型安全的反变计算不符合人们的思维习惯,而表达自然的协变计算又会引发类型的不安全,因而,由协变多态计算引出的类型安全问题一直是人们所关注的问题。人们提出了若干种办法来既保证类型安全,又提供自然灵... 1.引言在O-O程序设计中,保证类型安全的反变计算不符合人们的思维习惯,而表达自然的协变计算又会引发类型的不安全,因而,由协变多态计算引出的类型安全问题一直是人们所关注的问题。人们提出了若干种办法来既保证类型安全,又提供自然灵活的表达能力,如Kim B.Bruce等在LOOM语言中提出的matching关系,较为常用的multi-methods方法,Ingalls的precise typings方法,David L.Shang的参数化类的方法等。本文的主要工作就是在介绍协变与反变等概念的基础上,讨论了各种有代表性的解决方案,对其优缺点加以分析,并在此基础上提出了自行设计的ND-Polya语言的解决方案。 展开更多

关键词 程序设计 协变多态计算 类型安全 面向对象

在线阅读 下载PDF 职称材料

机器语言的类型化及代码的安全检查 被引量：1

2

作者 胡荣贵 陈意云 郭帆 《计算机研究与发展》 EI CSCD 北大核心 2004年第6期965-971,共7页

根据类型系统思想 ,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统 机器语言代码虽然是一种无类型的二进制编码 ,但其类型信息被隐含在指令的操作语义中 ,利用建立在类型系统基础之上的类型推理算法可以静态地... 根据类型系统思想 ,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统 机器语言代码虽然是一种无类型的二进制编码 ,但其类型信息被隐含在指令的操作语义中 ,利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性 由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令 ,因此 。 展开更多

关键词 类型系统 类型安全 子定型

在线阅读 下载PDF 职称材料

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

3

作者 郭帆 陈意云 胡荣贵 《计算机研究与发展》 EI CSCD 北大核心 2003年第7期1001-1007,共7页

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

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

在线阅读 下载PDF 职称材料

安全类型系统在编译技术中的应用研究

4

作者 赵秀凤 杨丽娜 郭渊博 《计算机工程与科学》 CSCD 2008年第9期145-146,157,共3页

类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类... 类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。 展开更多

关键词 类型系统 安全类型系统 编译 子类型规则 安全类型规则

在线阅读 下载PDF 职称材料

带类型注解的汇编器TAAS的设计与实现 被引量：1

5

作者 郭帆 陈意云 +1 位作者 胡荣贵 张昱 《小型微型计算机系统》 CSCD 北大核心 2003年第11期1893-1897,共5页

给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL ... 给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL F格式的 x86机器代码 ,并且与 GNU 展开更多

关键词 TAAS 类型安全 类型注解

在线阅读 下载PDF 职称材料

基于类型注解的认证编译器设计与实现 被引量：1

6

作者 胡荣贵 陈意云 +1 位作者 郭帆 张昱 《计算机研究与发展》 EI CSCD 北大核心 2004年第1期28-33,共6页

基于类型注解的认证编译器是安全策略系统的核心部件 ,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intelx86 /linux汇编语言程序 ,而且还可以根据类型安全策略的要求产生带注解的汇编程序 实验结果表明 ,新设计的认证编译... 基于类型注解的认证编译器是安全策略系统的核心部件 ,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intelx86 /linux汇编语言程序 ,而且还可以根据类型安全策略的要求产生带注解的汇编程序 实验结果表明 ,新设计的认证编译器可实现 :①类型安全的C语言子集的编译 ;②许多标准的局部优化 ;③可以对数组运行时越界操作进行检查 由于安全策略系统的证明是建立在含注解的代码基础之上的 ,因此 。 展开更多

关键词 认证编译器 扩展的控制流图 携带证明的代码 类型安全

在线阅读 下载PDF 职称材料

面向对象语言自然类型检查方法

7

作者 王丹 王斌 杨元生 《大连理工大学学报》 CAS CSCD 北大核心 2001年第2期249-252,共4页

针对面向对象技术中由于多态等机制导致的类型不安全问题 ,提出一种解决方案——自然类型检查 .该方法对面向对象程序设计中的变量进行类型安全检查 ,发现由多态、强制类型转换等机制引入的不安全因素 ,保证程序的正确执行 .以 Java为... 针对面向对象技术中由于多态等机制导致的类型不安全问题 ,提出一种解决方案——自然类型检查 .该方法对面向对象程序设计中的变量进行类型安全检查 ,发现由多态、强制类型转换等机制引入的不安全因素 ,保证程序的正确执行 .以 Java为描述语言 ,详细介绍了该方法 ,并与传统的类型检查进行了比较 . 展开更多

关键词 面向对象 多态 类型安全检查 程序设计方法 自然类型检查 类型不安全问题 JAVA

在线阅读 下载PDF 职称材料

网络安全与我国的网络安全策略 被引量：9

8

作者 李四福 覃家君 冯伟莉 《科技进步与对策》 北大核心 2000年第9期106-108,共3页

在因特网日益向社会各个角落渗透的今天 ,提高因特网的防卫能力、保障网络安全已经成为当务之急 ,网络安全问题已成为信息时代必须尽快加以解决的重大课题。结合当今与日俱增的网络新经济现象和日趋频繁的黑客攻击事件 ,通过对影响网络... 在因特网日益向社会各个角落渗透的今天 ,提高因特网的防卫能力、保障网络安全已经成为当务之急 ,网络安全问题已成为信息时代必须尽快加以解决的重大课题。结合当今与日俱增的网络新经济现象和日趋频繁的黑客攻击事件 ,通过对影响网络安全的因素以及攻击与安全类型的分析 ,提出加强我国网络安全的策略和建议。 展开更多

关键词 互联网 网络安全 攻击 安全类型 策略 中国

在线阅读 下载PDF 职称材料

安全文化学的基础性问题研究 被引量：32

9

作者 王秉 吴超 +1 位作者 杨冕 黄浪 《中国安全科学学报》 CAS CSCD 北大核心 2016年第8期7-12,共6页

为挖掘安全文化的特质,促进安全文化学研究及其学科建设,从安全文化学高度,以安全科学视角审视和考察安全文化。运用文献分析法和模型方法,提炼与分析安全文化的主要特点与功能,并构建安全文化特点的三角形模型与安全文化功能的人形结... 为挖掘安全文化的特质,促进安全文化学研究及其学科建设,从安全文化学高度,以安全科学视角审视和考察安全文化。运用文献分析法和模型方法,提炼与分析安全文化的主要特点与功能,并构建安全文化特点的三角形模型与安全文化功能的人形结构模型。在此基础上,划分安全文化的类型。结果表明,安全文化具有自然性、普遍性、人本性及实践性等10项主要特点,满足安全需要的功能及认知与教育功能等8项主要功能,并可从时间维与空间维等6个维度划分安全文化的类型。 展开更多

关键词 安全文化学 基础性问题 三角形模型 人形结构模型 安全文化类型

在线阅读 下载PDF 职称材料

中国煤矿水灾事故不安全动作原因对比研究 被引量：4

10

作者 傅贵 杨春 《安全与环境学报》 CAS CSCD 北大核心 2015年第4期166-171,共6页

中国是世界上煤矿水灾事故频发的国家之一,重特大水灾事故时有发生。为了分析事故发生原因并从安全管理方面予以预防,采用事故统计、案例分析和分组对比相结合的方法,以1990—2009年发生的142起煤矿水灾事故为例,对煤矿水灾不安全动作... 中国是世界上煤矿水灾事故频发的国家之一,重特大水灾事故时有发生。为了分析事故发生原因并从安全管理方面予以预防,采用事故统计、案例分析和分组对比相结合的方法,以1990—2009年发生的142起煤矿水灾事故为例,对煤矿水灾不安全动作等原因进行了研究,得出了不安全动作类型、不安全动作构成比例及不安全动作的发出者在水灾事故中的特点。结果表明:1)1990—2009年,违章放炮等23小类不安全动作一直存在,16小类不安全动作消失,19小类不安全动作新增;2)1990—1999年占比最大的直接不安全动作是违章指挥,但在2000—2009年,违章放炮却成为新的占比最大的直接不安全动作;3)未采取有效探放水措施和未通过安全审批私自生产在2000—2009年分别处于所有不安全动作占比的第一、二位,且比例逐渐增加;4)高层管理人员发出的不安全动作占比最大,一线员工和班组长发出的直接不安全动作占比大于各自发出的所有不安全动作比例。 展开更多

关键词 安全管理工程 煤矿水灾 不安全动作原因 不安全动作类型 不安全动作构成比例 不安全动作发出者

在线阅读 下载PDF 职称材料

近海小型捕捞渔业安全生产对策研究 被引量：1

11

作者 刘佳英 王虹人 +2 位作者 冯启超 王家樵 吴成业 《中国水产》 2020年第12期52-55,共4页

本文论述了我国海洋小型机动渔船现状、海洋小型捕捞渔船特点和类别,总结了2016年~2018年我国渔业安全生产事故情况,探讨了渔业安全事故类型和事故产生的主要原因,提出了加强渔业从业人员资格管理、加强生产服务供给,规范造船产业以及... 本文论述了我国海洋小型机动渔船现状、海洋小型捕捞渔船特点和类别,总结了2016年~2018年我国渔业安全生产事故情况,探讨了渔业安全事故类型和事故产生的主要原因,提出了加强渔业从业人员资格管理、加强生产服务供给,规范造船产业以及加强渔业监管等促进我国近海小型捕捞渔业安全生产的具体对策。 展开更多

关键词 从业人员资格 渔业安全生产 捕捞渔船 机动渔船 服务供给 事故情况 捕捞渔业 安全事故类型

在线阅读 下载PDF 职称材料

政策工具视角下我国网络安全教育政策的量化分析 被引量：4

12

作者 张红艳 武威 《教育理论与实践》 北大核心 2022年第4期20-26,共7页

网络在给人们带来便利的同时催生出诸多安全问题,开展网络安全教育对于实现个人乃至国家安全具有重要意义。通过构建政策工具、网络安全教育类型和政策时间三维分析框架,对国家层面出台的44份网络安全教育政策文本进行量化分析,发现我... 网络在给人们带来便利的同时催生出诸多安全问题,开展网络安全教育对于实现个人乃至国家安全具有重要意义。通过构建政策工具、网络安全教育类型和政策时间三维分析框架,对国家层面出台的44份网络安全教育政策文本进行量化分析,发现我国网络安全教育政策中政策工具类型使用偏好明显,具体应用中存在着结构性失衡问题;政策对不同教育类型的关注度不同,且政策工具配置具有差异;政策工具的选择贴合政策阶段目标,但顶层设计有待加强完善。网络安全教育政策运用,要均衡使用政策工具类型,优化工具运用组合结构;统筹兼顾各种教育类型,提升政策措施的针对性;补充细化教育政策体系,推动完善政策顶层设计。 展开更多

关键词 网络安全 教育政策 政策工具 网络安全教育类型 政策时间 量化分析

在线阅读 下载PDF 职称材料

探析我国茶叶在种植环节的质量安全问题及对策 被引量：4

13

作者 陈木清 《农技服务》 2017年第9期32-32,共1页

我国是产茶大国,其茶叶无论是生产还是消费都位居世界前列,但从近年来的茶叶质量安全检查与安全类型规范上来看,我国茶叶却存在着严重的农药残留。氟含量及重金属超标等安全问题。这主要是因为茶园农药肥料使用不合理、茶叶采摘技术不... 我国是产茶大国,其茶叶无论是生产还是消费都位居世界前列,但从近年来的茶叶质量安全检查与安全类型规范上来看,我国茶叶却存在着严重的农药残留。氟含量及重金属超标等安全问题。这主要是因为茶园农药肥料使用不合理、茶叶采摘技术不到位、产地环境不合格所致。本文就将探讨当前我国茶叶在种植环节的质量安全问题,并提出质量安全问题的解决对策。 展开更多

关键词 茶叶种植 质量安全类型 安全问题 解决对策

在线阅读 下载PDF 职称材料

C#与Matlab混合编程的CSAMT静态校正软件设计 被引量：5

14

作者 郑建波 于生宝 +1 位作者 苏发 栾卉 《实验室研究与探索》 CAS 北大核心 2016年第7期113-116,148,共5页

可控源音频大地电磁法(CSAMT)中的静态校正对于正确识别地质情况,提高勘探方法的有效性具有重要意义。设计一款集合小波、五点、中值、EMAP等常用静态校正方法的软件很有必要。文章提出利用C#与Matlab混合编程来设计CSAMT静态校正软件... 可控源音频大地电磁法(CSAMT)中的静态校正对于正确识别地质情况,提高勘探方法的有效性具有重要意义。设计一款集合小波、五点、中值、EMAP等常用静态校正方法的软件很有必要。文章提出利用C#与Matlab混合编程来设计CSAMT静态校正软件以弥补Matlab界面开发能力差和C#开发复杂数值运算软件效率低等问题。利用.NET组件实现C#与Matlab之间的通信,解决了com组件之间的版本控制、注册表、GUID等弊端。采用类型安全接口编程,通过接口的多重继承,将数据转换过程进行封装,解决了混合编程时比较繁琐的数据类型转换问题。最后,设计正演模型并利用该软件进行静态校正,结果显示该软件可以实现利用小波、五点、中值、EMAP方法进行静态校正。 展开更多

关键词 CSAMT静态校正 混合编程 .NET组件 类型安全接口

在线阅读 下载PDF 职称材料

信息流控制研究进展 被引量：23

15

作者 吴泽智 陈性元 +1 位作者 杨智 杜学绘 《软件学报》 EI CSCD 北大核心 2017年第1期135-159,共25页

信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机... 信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机层次结构由下而上出发,综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法,并对比了各类研究的特点;然后,结合当今时代前沿技术,分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用;最后,总结了当前信息流控制相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对下一步研究工作有一定的参考价值. 展开更多

关键词 信息流控制 安全模型 安全类型系统 进程代数 动态污点跟踪

在线阅读 下载PDF 职称材料