安扬 作品数:7 被引量:47 H指数:3 供职机构: 武汉大学计算机学院 更多>> 发文基金: 国家自然科学基金 湖北省自然科学基金 测绘遥感信息工程国家重点实验室开放研究基金 更多>> 相关领域: 自动化与计算机技术 天文地球 更多>>
基于Intranet的WebMIS——数字化测绘生产管理系统 被引量:4 2002年 针对浏览器 /服务器模式设计的基于 Web的数字化测绘生产管理系统方案进行了讨论 ,描述了数字化测绘生产管理系统的逻辑结构、系统功能和技术路线 ,并指出了该系统的特点以及发展趋势。 安扬 苏光奎 熊庆文关键词:INTRANET 互联网 GIS 逻辑结构 基于软件工程方法的数字化测绘生产管理系统设计 被引量:2 2002年 分析了在开发数字化测绘生产管理系统过程中 ,利用传统软件工程方法进行开发设计的不足 ,讨论了整个开发过程中所采用的新的软件工程设计方法 ,成功地解决了数字化测绘生产管理系统在整个测绘管理范围内的通用性问题。 安扬 边馥苓 赵波 熊庆文关键词:软件工程方法 数字化测绘 计算机 一种基于可信锚点的机密计算环境构建方法 2023年 机密计算环境的构建与使用,是保障信息数据安全的重要技术手段。然而,现有的机密计算环境的形成,其信任锚点来自硬件处理器,机密计算环境的构成依赖于缺乏可证明安全的软件栈实现。近年来包括各大主流CPU厂商的硬件安全漏洞频现,各种针对现有机密环境构造弱点的攻击频发,都给依赖机密计算环境的各种安全应用和数据带来严重威胁。可信计算是一种将可信根作为信任锚点,以可信度量为手段,用信任链方式构造可信执行环境的安全方法和技术,将可信计算技术用于机密计算环境构建,可以有效解决上述安全问题。文章从可信的角度提出了一种构造自主可控的机密计算环境的新思路。可信锚点的服务是保障机密计算环境安全的前提,在可信锚点之上建立具有内存隔离等特性的机密计算环境。文章研究的完成,将有效解决现有机密计算场景的安全威胁,提升具有自主可控关键基础设计的能力。 蒋新竹 赵波 李蔚栋 张立强 严飞 王娟 安扬一种面向IaaS租户的资源完整性度量协议 2014年 提出一种IaaS(infrastructure as a service)完整性度量协议,该协议允许租户主动发起对IaaS资源的度量和验证,使租户能够检测其自身资源的完整性状态,增强IaaS资源状态的可见性.利用SVO逻辑对协议的安全性、完备性进行了分析,并搭建实验平台对协议的抗攻击能力和时间性能进行了验证.分析和实验证明,该协议能够抵御重放攻击、假冒攻击等多种形式的攻击,同时协议的执行耗时不会影响租户的正常使用体验. 胡海生 安扬 向騻 余发江关键词:IAAS 基于语义感知图神经网络的智能合约字节码漏洞检测方法 被引量:10 2022年 针对传统智能合约漏洞检测方法检测精度较低、误报率较高,以及基于神经网络的方法对字节码级智能合约特征挖掘不足的问题,提出了一种基于语义感知图神经网络的智能合约字节码漏洞检测方法。首先,以智能合约字节码划分基本块作为节点,并从字节码中提取基本块间的调用关系作为边,以此生成控制流图(control flow graph,CFG),传入图卷积神经网络(graph convolutional network,GCN)中进行训练得到图节点的特征表示;其次,对合约字节码指令序列进行分词,再转化为词向量嵌入到低维空间,传入长短期记忆(long short-term memory,LSTM)网络进行训练,得到字节码语义信息的向量表示;最后,将生成的节点特征和语义特征进行拼接后传入全连接层进行降维,结合语义信息和节点特征对智能合约进行漏洞检测。利用公开数据集中的真实智能合约进行训练和测试,在通过传统方法和人工标签的两类漏洞分类数据集中进行验证。使用本文提出的方法与3种传统智能合约漏洞检测工具及1种基于神经网络的智能合约漏洞检测方法进行对比。实验结果表明本文提出的基于语义感知图神经网络智能合约字节码漏洞检测方法在各类指标上均有较大提升,能够检测出其余4种方法未检测出的具有漏洞的合约,说明在图神经网络中加入字节码语义信息能够有效提升检测精度,降低误报率。 赵波 上官晨晗 彭小燕 安扬 童俊成 袁安琪关键词:漏洞检测 网络环境下的数字化测绘生产管理系统的研究与设计 数字摄影测量和遥感技术的发展,使测绘产品的形式也发生了变化,现在已由模拟产品变为4D(DOM、DLG、DRG、DEM)数字产品.为了适应现代化测绘生产的需要,生产管理和组织模式必须变更,基于网络数据库环境的数字化测绘应用... 安扬关键词:WEB INTERNET INTRANET 管理信息系统 文献传递 GML模式匹配算法 被引量:32 2004年 提出了一个面向空间信息集成的GML模式匹配算法 ,其核心思想是将GML模式转化成树状结构 ,通过测度两个树状结构的相似度来判断两个对应模式的匹配程度。在GML规范基础上 ,给出了GML模式的匹配算法和匹配器结构 ,并实现了相关算法 。 关佶红 虞为 安扬关键词:GML 空间信息集成