顾元祥
- 作品数：8 被引量：50H指数：4
- 供职机构：西北大学更多>>
- 发文基金：国家自然科学基金西安市科技计划项目陕西省科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 二级属性文法与二级属性计算
- 1990年
- 本文提出了二条属性文法的语义局部化原理以及语法分划的新方法,定义了二级属性文法,给出了语义树局部化分解的一种有效算法,建立了二种二级属性计算:狭义二级属性计算和广义二级属性计算。这些结果为属性文法技术更广泛地应用于软件开发找到了更加行之有效的新途径。
- 顾元祥
- 关键词：属性文法自动生成
- 多功能二级语法分析器自动生成系统的理论与实现
- 1991年
- 本文系统地论述了二级语法分析器的概念与理论。扼要地叙述了多功能二级语法分析器自动生成系统的设计与实现。
- 李友仁顾元祥
- 关键词：语法分析器自动生成系统
- 编译程序自动测试中的知识表示
- 1989年
- 软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。
- 周继鹏顾元祥华庆一
- 关键词：知识表示
- 二级属性文法与二级属性计算器被引量：4
- 1991年
- 对于能够在小型机和微型机上运行的属性计算器,它的程序空间和数据空间一直是影响其效能的难题。二级属性计算器的概念和设计以一种新型的属性计算器的体系结构,从根本上系统地解决了这类问题。本文主要讨论二级属性文法及其设计方法,二级属性计算器的基本结构和ANCAG 类全过程武二级属性计算器的构造原理和算法。
- 鼎益顾元祥华庆一
- 关键词：属性文法计算机
- 一种基于RSSI的智能家居环境Evil-Twin攻击的检测方法被引量：4
- 2017年
- Wi-Fi正在为各种各样的设备提供网络连接,但因其网络标识(SSID,BSSID)易被伪造,攻击者很容易伪造出普通用户无法识别的Evil-Twin AP并进行其他高级攻击.本文利用智能家居中AP位置稳定的特点,提出了基于RSSI的Evil-Twin攻击检测方法,它由单位置检测和多位置协同检测两种方案组成.该方法将Evil-Twin攻击检测问题转化为AP位置检测问题,两种方案都需要先在安全环境中构建指纹库.单位置检测时,确定当前检测到的目标AP与检测器之间的距离,并与指纹库中的安全距离进行比较,判断其安全性;多位置协同检测时,则先通过参考AP进行室内定位,确定检测设备的位置,然后反向定位确定当前检测到的目标AP与检测设备之间的距离,并与指纹库中该位置处的安全距离进行比较,判断其安全性.成功解决了基于AP硬件特征或流量特征的检测方法易被绕过的问题.该方法与已有的检测方法相比,检测设备不连入网络时依然可以成功检测,且无需加入专业的检测设备.实验结果显示,单位置检测方案将延迟时间降低至20s,且检测正确率达到98%,使用多位置协同检测时,正确率也达到90%.
- 房鼎益祁生德汤战勇陈晓江顾元祥
- 关键词：信息物理融合系统
- 二级属性文法的设计被引量：1
- 1990年
- 本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.
- 房鼎益顾元祥
- 关键词：属性文法
- 代码混淆算法有效性评估被引量：33
- 2012年
- 代码混淆是一种能够有效增加攻击者逆向分析和攻击代价的软件保护技术.然而,混淆算法的有效性评价和验证是代码混淆研究中亟待解决的重要问题.目前,对代码混淆有效性的研究大都是基于软件复杂性度量的,然而代码混淆作为一种保护软件安全的技术,更需要从逆向攻击的角度进行评估.将面向逆向工程的思想引入到代码混淆算法评估中,通过理论证明和具体实验验证了其可行性.该评估方法能够为混淆算法提供有效证明,并对判别和选择代码混淆算法具有指导意义,同时也有助于寻求更有效的代码混淆方法.
- 赵玉洁汤战勇王妮房鼎益顾元祥
- 关键词：代码混淆逆向工程
- 一种具有时间多样性的虚拟机软件保护方法被引量：10
- 2015年
- 软件核心算法防逆向保护,是软件研发乃至软件产业发展的迫切需求,也是当前软件安全研究领域的热点之一.虚拟机软件保护作为一种保护强度高、商业应用广的技术,已被用于软件核心算法保护,并在很大程度上能够抵御攻击者的逆向分析.但这种保护方法难以抵御累积攻击,无法提供更加持久的保护.时间多样性是指一个软件在不同时间被执行时,执行路径不同,主要用于抵御累积攻击.将时间多样性与虚拟机软件保护相结合,提出了一种具有时间多样性的虚拟机软件保护方法,称为TDVMP.在TDVMP中,通过构造多条相异的执行路径,使得被保护软件在不同次执行时,能够动态选取不同执行路径,从而极大地增加了攻击者进行累积的核心算法逆向分析攻击的难度.同时,对于TDVMP设计中的关键问题,比如多执行路径的构造与选择等进行了详细讨论.此外,提出了时间多样性保护效果的评价指标,并给出了其度量及计算方法.以所实现的原型系统为基础,通过一组具有一定实用价值的实例,对所提出的方法进行了测试、实验.结果表明,TDVMP对于软件核心算法防逆向保护是有效且实用的.
- 房鼎益赵媛王怀军顾元祥许广莲
