检索结果-南通市图书馆

A Logic-Based Safety Analysis Algorithm for Discretionary Access Control

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2012年第6期17卷 531-538页

作者： yan xuexiong WANG Qingxian ZHU Junhu XI Qi National Digital Switching System Engineering and Technological R&D Center Zhengzhou 450002HenanChina

For the issue of the discretionary access control（DAC） model safety analysis,a logic method is *** method takes the GD model as the classic DAC model and Prolog as the basic language to describe system states and state transfer rules.A general program based on this logic method is proposed for DAC safety analysis,but this program may never be terminal for some safety analysis *** safety analysis algorithm is achieved by simplifying the general program according to the property of the DAC model state transfer *** safety analysis algorithm is easier to understand and implement than the previous algorithms and its time complexity is O（N＋M＋T）,in which N,M,and T are the numbers of the rights with copy flag,the policies for right transferring,and the policies for right permitting,respectively.

关键词： discretionary access control(DAC) safety analysis logic state transfer

在线全文

学校读者我要写书评

暂无评论

基于函数注入的沙箱拦截识别方法

电子与信息学报 2016年第7期38卷 1823-1830页

作者：赵旭颜学雄王清贤魏强解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的沙箱拦截识别方法,该方法分析系统函数的指令执行记录(Trace)... 详细信息

沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的沙箱拦截识别方法,该方法分析系统函数的指令执行记录(Trace)来识别沙箱截获的系统函数。首先,向不可信进程注入并执行系统函数来获取函数的执行记录;其次,根据沙箱截获系统函数执行记录的特点,设计了地址空间有限状态自动机,并在自动机内分析获取的执行记录来判别沙箱截获的系统函数;最后,遍历测试函数集来识别目标沙箱截获的系统函数集。该文设计实现了原型系统SIAnalyzer,并对Chromium和Adobe Reader进行了沙箱拦截识别测试,测试结果验证了方法的有效性和实用性。

关键词：沙箱拦截系统函数集钩子函数注入自动机

程序逆向分析在软件供应链污染检测中的应用研究综述

在线全文

学校读者我要写书评

暂无评论

计算机应用 2020年第1期40卷 103-115页

作者：武振华张超孙贺颜学雄战略支援部队信息工程大学数学工程与先进计算国家重点实验室郑州450001 清华大学网络科学与网络空间研究院北京100084 陆军工程大学指挥控制工程学院南京210007

近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分... 详细信息

近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分析技术及其在SSC污染检测中的应用,最后总结分析了现有技术在SSC污染检测任务中存在的不足与挑战,给出了克服这些挑战的若干值得研究的课题。

关键词：软件供应链污染检测程序逆向分析软件安全

在线全文

学校读者我要写书评

暂无评论

IP分片重组Cache实现的测试与分析

计算机工程与应用 2003年第36期39卷 176-178,200页

作者：刘琰颜学雄王清贤丁志芳信息工程大学信息工程学院网络工程系郑州450002

IP碎片攻击是网络攻击的主要方式之一,攻击者利用系统对IP数据包分片重组实现上的漏洞,构造大量特殊的分片发送给目的主机,导致目的主机由于重组错误而造成拒绝服务、系统崩溃等。IP分片重组Cache的实现包括IP分片的重组算法、超时处理... 详细信息

IP碎片攻击是网络攻击的主要方式之一,攻击者利用系统对IP数据包分片重组实现上的漏洞,构造大量特殊的分片发送给目的主机,导致目的主机由于重组错误而造成拒绝服务、系统崩溃等。IP分片重组Cache的实现包括IP分片的重组算法、超时处理、替换策略等。文章从分析Linux操作系统IP分片重组Cache实现的策略入手,提出了一种测试IP分片重组Cache实现的方法,并在此基础上推测出Windows系统实现IP分片重组Cache的方法。

关键词：计算机网络网络安全数据链路层 IP分片重组 Cache 测试网络攻击数据包

在线全文

学校读者我要写书评

暂无评论

一种估计相干信号波达方向的快速算法

信息工程大学学报 2015年第3期16卷 354-357页

作者：蒋方婷颜学雄空军工程大学陕西西安710051 信息工程大学河南郑州450001

多级维纳滤波器是一种降维算法,提出了一种基于多级维纳滤波器的相干信源估计算法。将多级维纳滤波器引入ESPRIT算法的预处理,通过构造Toeplitz矩阵,满足秩等于信号个数的条件,作为维纳滤波器的预处理的结构。文章提出的算法,不通过特... 详细信息

多级维纳滤波器是一种降维算法,提出了一种基于多级维纳滤波器的相干信源估计算法。将多级维纳滤波器引入ESPRIT算法的预处理,通过构造Toeplitz矩阵,满足秩等于信号个数的条件,作为维纳滤波器的预处理的结构。文章提出的算法,不通过特征值分解,得到信号子空间,结合ESPRIT算法,实现相干信号的DOA估计。仿真结果证明了算法的有效性。

关键词： DOA估计矩阵重构多级维纳滤波器 ESPRIT算法

在线全文

学校读者我要写书评

暂无评论

Modem与局域网安全研究

计算机工程与应用 2003年第3期39卷 161-164页

作者：寇晓蕤颜学雄王清贤信息工程大学信息安全学院网络工程系郑州450002

该文讨论了与Modem有关的局域网安全问题。局域网内的用户如果通过Modem拨号连入Internet,将是黑客打开入侵网络的另外一条通道。该文深入分析了这个安全隐患的实质、起因、危害,给出了预防该隐患的安全措施,并针对该隐患介绍了笔者研... 详细信息

该文讨论了与Modem有关的局域网安全问题。局域网内的用户如果通过Modem拨号连入Internet,将是黑客打开入侵网络的另外一条通道。该文深入分析了这个安全隐患的实质、起因、危害,给出了预防该隐患的安全措施,并针对该隐患介绍了笔者研发的一个安全软件C-Cat。最后,文章就网络安全的实质提出了自己的一些观点。

关键词：局域网调制解调器网络安全网络攻击最薄弱环节公理

在线全文

学校读者我要写书评

暂无评论

浏览器安全机制自动测试系统分析与实现

信息工程大学学报 2018年第3期19卷 364-368页

作者：孙雅静颜学雄王清贤刘树凯柴川森信息工程大学河南郑州450001

近年来,浏览器的非法攻击严重危害Web应用程序的安全。浏览器主要依赖同源策略等机制提升安全性,但浏览器种类多,安全机制复杂、零碎,没有通用的安全模型,导致安全边界模糊,依靠人工测试的方法无法满足安全机制测试的需要。设计并实现... 详细信息

近年来,浏览器的非法攻击严重危害Web应用程序的安全。浏览器主要依赖同源策略等机制提升安全性,但浏览器种类多,安全机制复杂、零碎,没有通用的安全模型,导致安全边界模糊,依靠人工测试的方法无法满足安全机制测试的需要。设计并实现了一款浏览器安全机制自动化测试系统,自动检测安全机制具体实现情况,得到浏览器安全机制的实现差异性,为发现浏览器未知漏洞的自动化实现提供一种思路。

关键词：浏览器安全机制自动测试系统 Web安全

在线全文

学校读者我要写书评

暂无评论

苹果MdPDS基因的克隆及表达分析

分子植物育种 2016年第11期14卷 3011-3017页

作者：张小军高燕陈学兄赵政阳山西农业大学园艺学院太谷030801 果树种质创制和利用山西省重点实验室太原030031 山西农业大学资源环境学院太谷030801 西北农林科技大学园艺学院杨凌712100

八氢番茄红素脱氢酶(PDS)是苹果类胡萝卜素生物合成途径的关键酶。本研究运用电子克隆与RACE技术克隆得到‘澳洲青苹’苹果Md PDS基因(Gen Bank登录号:KU508828),该c DNA序列全长2 005 bp,包含1 725个碱基(121~1 845 bp)的完整开放阅读... 详细信息

八氢番茄红素脱氢酶(PDS)是苹果类胡萝卜素生物合成途径的关键酶。本研究运用电子克隆与RACE技术克隆得到‘澳洲青苹’苹果Md PDS基因(Gen Bank登录号:KU508828),该c DNA序列全长2 005 bp,包含1 725个碱基(121~1 845 bp)的完整开放阅读框,编码575个氨基酸。氨基酸同源性分析表明,Md PDS编码的氨基酸序列与其他植物的PDS蛋白具有很高的同源性;其同样含有一个二核苷酸结合域和一个类胡萝卜素结合域。系统进化树分析表明,Md PDS与杏、碧桃和草莓蛋白亲缘关系较近,聚为一类。实时荧光定量PCR结果表明,Md PDS在‘澳洲青苹’苹果不同组织均有表达,其在树皮、果皮及叶片中的表达要明显高于花中的表达。此外,Md PDS在着色期套袋果实果皮中的表达量随果色增加而上升,而在非套袋果皮中的表达则变化不明显。上述结果表明Md PDS在苹果果实色泽发育过程中起着重要作用,也为进一步研究其生物学功能奠定了基础。

关键词：苹果类胡萝卜素基因克隆 MdPDS 基因表达

基于AutoCAD工程制图习题自动批改系统的研究与实现

在线全文

学校读者我要写书评

暂无评论

现代制造工程 2005年第7期 105-107页

作者：鄢春艳梁德才赖兴余邓学雄广东省科技干部学院机电工程系 510640 华南理工大学机械工程学院 510640

研究开发工程制图习题自动批改系统以供学生自主练习和批改。该系统在AutoCAD2004平台上进行二次开发,研究图形匹配技术,实现不同图层的点、粗实线和虚线的判别,实现对点、线、面、立体及组合体的自动批改。

关键词： AutoCAD 工程制图习题自动批改课件