安杨
- 作品数:30 被引量:145H指数:7
- 供职机构:武汉大学计算机学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术天文地球文化科学经济管理更多>>
- GIS Web服务的研究
- 传统的GIS系统由于其封闭的体系结构,缺少互操作、重用性和灵活性,已经不适合现在分布式异构的网络环境.Web服务的兴起为解决传统的GIS问题提供了一个新的方向.本文从Web服务入手探讨GIS Web服务的理论和关键技术,...
- 安杨赵波
- 关键词:WEB服务组件元数据地理信息系统体系结构组件技术
- 文献传递
- 用于虚拟化环境的进程隔离方法研究与实现被引量:2
- 2014年
- 针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.
- 赵波夏忠林安杨向騻
- 关键词:虚拟化运行安全形式化
- 云GIS中远程证明通信机制的研究
- 云计算技术的发展加速了地理信息系统(GIS)的产业化进程,如何保证向云中用户提供的是安全、可信的GIS服务成为云GIS中重要的研究内容.为此,为了弥补单一远程证明者的不足之处,对远程证明机制进行了改进,提出了一种基于多A...
- 安杨苏航赵波
- 关键词:云计算地理信息系统远程证明通信机制
- 文献传递
- 模式匹配算法的教学探讨
- 串的模式匹配是数据结构课程中很重要也是比较难理解的内容,特别是KMP算法.针对这个难点,详细分析了KMP算法的思想,并结合相关实例进行说明,以期学生能更好地掌握算法.
- 安杨赵波
- 关键词:高等教育数据结构课程模式匹配算法教学方法
- 文献传递
- 面向多租户的可信容器分层密钥管理方法
- 2024年
- 针对现有可信容器框架在多租户场景下缺乏密钥保护的问题,提出一种基于可信平台模块TPM的可信容器分层密钥管理方法TCKM。利用分层密钥管理机制,绑定TPM与容器密钥块,保护容器密钥块生成与存储的安全。通过基于容器属性的密钥授权值在密钥使用时验证容器属性,使得只有满足一定属性的指定容器能够获取并使用密钥,防止容器密钥块的盗用,实现密钥的安全使用。采用内核与硬件TPM相结合的加密方式提高基于TCKM密钥管理方法的数据保护效率。实现了TCKM密钥管理方法并基于Docker18.09进行测试与评估,测试结果表明,方案以较小的性能开销保护可信容器内密钥的安全及文件数据的机密性,具有很好安全性和数据保护效率。
- 钟倩赵波安杨李蔚栋陈喜丰上官晨晗
- 关键词:可信计算密钥管理
- 针对机器学习的成员推断攻击综述被引量:1
- 2023年
- 近年来,机器学习不仅在计算机视觉、自然语言处理等领域取得了显著成效,也被广泛应用于人脸图像、金融数据、医疗信息等敏感数据处理领域。最近,研究人员发现机器学习模型会记忆它们训练集中的数据,导致攻击者可以对模型实施成员推断攻击,即攻击者可以推断给定数据是否存在于某个特定机器学习模型的训练集。成员推断攻击的成功,可能导致严重的个人隐私泄露。例如,如果能确定某个人的医疗记录属于某医院的数据集,则表明这个人曾经是那家医院的病人。首先介绍了成员推断攻击的基本原理;然后系统地对近年来代表性攻击和防御的研究进行了总结和归类,特别针对不同条件设置下如何进行攻击和防御进行了详细的阐述;最后回顾成员推断攻击的发展历程,探究机器学习隐私保护面临的主要挑战和未来潜在的发展方向。
- 彭钺峰赵波刘会安杨
- 关键词:隐私泄露隐私保护
- 基于Ontology的地理服务描述被引量:3
- 2005年
- 随着地理服务技术的发展,相应的地理服务的查询成为了一个重要的问题,其中一种解决方法是设计一种模块化的共享的Ontology来描述Web服务,并利用该Ontology进行服务查询。针对这个问题,该文提出了一种Ontology,它结合了已存在的各种不同的Ontology标准和元数据标准来描述地理服务。
- 安杨赵波
- 关键词:ONTOLOGYDAML-S
- 基于本体的网络地理服务中的关键问题研究
- 本文将本体和Web服务技术相结合,提出了建立基于本体的网络地理服务模式的思路,并对其中若干关键问题,即基于本体的服务描述、发现和合成等相关的理论和技术问题进行了广泛和深入的研究。
本文提出了一种基于本体的网络地理服...
- 安杨
- 关键词:本体地理信息系统
- 云GIS中远程证明通信机制的研究
- 2013年
- 云计算技术的发展加速了地理信息系统(GIS)的产业化进程,如何保证向云中用户提供的是安全、可信的GIS服务成为云GIS中重要的研究内容.为此,为了弥补单一远程证明者的不足之处,对远程证明机制进行了改进,提出了一种基于多Agent模型的远程证明通信机制,并将其用于云GIS中,通过将单一的验证者改造成多元的验证者集群,避免因单一验证者失效而带来的整体云GIS环境的安全失效.实验表明:在引入多Agent模型后,PaaS平台的远程证明过程将变的更加稳定安全,其相比于基于单一验证者的架构而言可用性更高.基于多重Agent的远程证明通信机制能够大大降低原有远程证明服务的不确定性,使远程证明能够时刻可用并且有效.
- 安杨苏航赵波
- 关键词:云计算平台即服务多AGENT模型
- 计算机技术专业领域工程硕士培养模式的改革
- 工程硕士(MaStar of Engineering)专业学位的设立,是我国学位与研究生教育的重大改革举措,而计算机技术的工程硕士则是工程硕士中覆盖面最广的领域。
本文结合计算机技术领域工程硕士的知识结构要求、...
- 安杨王丽娜赵波
- 关键词:计算机技术工程硕士研究生教育教学模式
- 文献传递