孙磊
- 作品数：33 被引量：60H指数：5
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家部委资助项目更多>>
- 相关领域：自动化与计算机技术文化科学天文地球医药卫生更多>>
- 面向Android隐私保护机制的多域隔离模型设计被引量：1
- 2017年
- 针对Android系统粗粒度的权限机制及隐私保护机制安全性较低的问题,提出粒度可控的多域隔离隐私保护模型MDSDroid,并在Android系统上设计模型实现框架。通过定义模型变量以及访问控制策略,实现应用程序及其数据间的隔离和强安全访问控制机制。采用Z语言对模型进行形式定义,并运用形式验证工具Z/EVES进行形式分析,保证模型策略的正确执行,在增强系统安全的同时保护隐私数据的安全性。实验结果表明,该模型系统与Android原生系统相比具有较低的性能损耗。
- 王帅丽孙磊孙磊徐宁韩静丹
- 关键词：安卓系统隐私数据形式化
- 《数据库系统与安全》课程思政的探索与实践
- 当前的国内疫情防控逐步平稳、国际形势日趋复杂,台独、港独势力活动猖獗,敌对势力针对我国的间谍行动从未停止。新时代高校思政教育被高度重视。尤其是理工科课程建设必须坚持"专业技术+思想政治",才能真正为党育人、为国育才。《数...
- 张婷孙磊
- 基于蚁群优化算法的虚拟现场可编程门阵列部署策略被引量：1
- 2020年
- 针对可重构密码资源池中,如何在最少的现场可编程门阵列(FPGA)上部署虚拟FPGA(vFPGA)的问题,结合FPGA的工作特点和应用场景的需求,在传统蚁群算法的基础上进行了优化,提出了一个基于蚁群优化(ACO)算法的vFPGA部署策略。首先,通过赋予蚂蚁资源状态感知的能力实现各个FPGA之间的负载均衡,同时避免频繁的vFPGA迁移;其次,设计预留空间,有效减少因为租户需求动态变化带来的服务等级协议(SLA)冲突;最后,对CloudSim进行功能扩展,使用合成的工作流进行仿真实验,对该策略性能进行评估。实验结果表明,所提策略可以在保证系统服务质量的前提下,提高FPGA资源利用率,减少FPGA使用量。
- 许英鑫孙磊赵建成郭松辉
- 关键词：云计算蚁群优化算法
- 移动云环境下高效属性基加密方案研究被引量：2
- 2019年
- 目前适应移动云的属性基加密研究主要集中在单一机构,并不满足现实中的属性授权情况。针对以上问题提出了一个新的多机构属性基加密方案,该方案无中央权威,各授权机构可互不影响,分发的属性可添加;利用预计算、外包解密的方法降低用户端的计算开销;方案在随机预言模型下证明是静态安全的。实验结果表明,移动端在云环境下实施数据共享时,该方案可以减少移动设备端20%的计算开销,更符合于移动云环境实际应用场景。
- 付雨萌孙磊李作辉
- 关键词：移动云计算属性基加密外包
- “101计划”背景下数据库系统与安全课程的思政教学探索
- “101”计划要求人才培养模式从“知识为主”转向“能力为先”，在此背景下，数据库系统与安全课程作为计算机领域专业重要课程之一，围绕立德树人的根本任务，以专业人才培养目标的依据，以新时代社会主义核心价值体系为导向，从个人、...
- 张婷孙磊藏韦菲
- 关键词：社会主义核心价值观
- 基于单根I/O虚拟化的密码设备中断频率优化方法
- 2019年
- 针对虚拟化环境下中断频率过大影响密码设备密码运算性能的问题,提出了一种降低中断频率的性能优化方法。首先建立了中断频率控制模型,通过实验验证了该模型的合理性和正确性;然后基于单根I/O虚拟化,在虚拟功能驱动层加入速度监测模块来实时监测加密速度的变化,并且当该模块监测到加密速度降低时自动调整虚拟功能中断频率上限,降低由中断频率过大带来的I/O传输消耗。实验结果表明,中断频率上限的调整显著提高了I/O密集型加密过程的加密速度。
- 李帅孙磊郭松辉
- 新工科背景下数据库系统与安全课程教学改革探索与实践
- 新形势下高等院校新工科建设有更高的要求,本课程围绕立德树人的根本任务,融合OBE理念进行课程教学改革与实践,形成知识传授、能力培养、价值塑造"三位一体"教学模式,从目标设定、内容设计、实施策略、教学方案、考核评价、课程思...
- 张婷孙磊赵锟
- 关键词：教学改革
- 云环境下基于动态博弈的资源调度方法
- 本发明属于基于云计算的资源调度技术领域，具体涉及一种云环境下基于动态博弈的资源调度方法，包括以下步骤：构建云环境下基于动态博弈的资源调度模型；基于动态博弈的资源调度模型，根据各用户任务的属性高低分配选择资源的优先权；对任...
- 张恒巍王娜韩继红郭松辉孙磊李作辉方晨熊选东李瑞峰
- 文献传递
- 大区域无人机影像数据的快速几何处理被引量：8
- 2016年
- 无人机遥感影像快速几何处理被广泛应用于灾害应急监测与评估、军事侦察等领域。针对目前多数商业软件所依赖的硬件平台成本昂贵、软件开发过程复杂等问题,面向通用硬件平台,提出一种大区域无人机影像数据的快速几何处理方法。对制约处理效率的各关键算法进行优化和改造,实现大区域无人机影像数据的快速几何处理;在影像连接点匹配、正射纠正和影像镶嵌的处理过程中,均应用基于多核CPU并行处理技术,提高整体处理效率。多组无人机影像数据处理试验表明,该方法能够大幅提高处理效率,对硬件平台要求低,具有推广应用价值。
- 孙磊郭海涛李传广李海滨姜春雪
- 关键词：无人机影像匹配空中三角测量影像镶嵌多核CPU
- 《数据库系统与安全》课程思政的探索与实践
- 当前的国内疫情防控逐步平稳、国际形势日趋复杂,台独、港独势力活动猖獗,敌对势力针对我国的间谍行动从未停止。新时代高校思政教育被高度重视。尤其是理工科课程建设必须坚持“专业技术+思想政治”,才能真正为党育人、为国育才。《数...
- 张婷孙磊
