检索结果-内蒙古大学图书馆

武汉大学学报（理学版） 2017年第2期63卷 95-101页

作者：张立强何凡叶卫军应时李晶武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430070 中兴通信有限公司陕西西安710065 湖北省电力公司湖北武汉430077

Web服务安全问题集中表现在信任建立、端到端消息安全保障以及资源访问控制等方面.传统的Web安全框架如Atlassian Seraph和Apache Shiro无法同时解决消息安全保护和跨域访问控制的问题.本文提出并实现一种基于Kerberos的Web服务安全框... 详细信息

Web服务安全问题集中表现在信任建立、端到端消息安全保障以及资源访问控制等方面.传统的Web安全框架如Atlassian Seraph和Apache Shiro无法同时解决消息安全保护和跨域访问控制的问题.本文提出并实现一种基于Kerberos的Web服务安全框架——KBW2SF,它包括用户认证、消息安全通信、服务访问控制三个核心功能.用户认证使用Kerberos作为底层协议在服务请求发和提供方之间建立信任关系;安全通信使用WSSecurity规范及Kerberos票据中的密钥保证消息端到端的完整性和机密性;服务访问控制基于Kerberos票据中的用户角色信息,由服务提供方对来访用户进行角色映射(跨域访问)和权限鉴定,以此保护服务资源不被非法或者低权限用户访问.同时,KBW2SF引入缓存管理机制提高应用效率,降低安全机制对Web服务应用的影响程度.通过应用场景的实验分析,该框架不但能够有效解决Web服务消息的安全性以及跨域访问控制问题,而且具有较高的效率,具备一定的实际应用价值.

关键词： Web服务 Web服务安全 Kerberos 访问控制

来源：评论

学校读者我要写书评

暂无评论

基于主机与云分析结合的轻量级威胁感知系统

引用

华中科技大学学报（自然科学版） 2016年第3期44卷 17-21,27页

作者：彭国军王泰格刘焱张焕国武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 百度在线网络技术(北京)有限公司北京100085

提出了一套基于主机与云分析相结合的轻量级威胁感知系统,该系统从主机捕获敏感行为日志,然后在云端对其进行分析处理.该系统的优势在于行为捕获过程实现用户无感知,将复杂的分析过程放到云端实现,既能捕获到进程级别的主机行为信息,又... 详细信息

提出了一套基于主机与云分析相结合的轻量级威胁感知系统,该系统从主机捕获敏感行为日志,然后在云端对其进行分析处理.该系统的优势在于行为捕获过程实现用户无感知,将复杂的分析过程放到云端实现,既能捕获到进程级别的主机行为信息,又不会对主机产生较大性能压力,还能从云端进行主机间的关联分析.该系统已部署1.763 6×104台客户主机,经过实际运行检测,发现114个未知恶意程序,对未知恶意软件具有良好的检测效果,同时有效降低人均样本分析压力,显著提升了人工分析效率.

关键词：恶意软件进程行为关联分析云分析异常检测威胁感知

来源：评论

学校读者我要写书评

暂无评论

基于统计学的Web论坛增量更新策略研究

引用

计算机应用与软件 2017年第6期34卷 31-36,129页

作者：冯凯陈军王鹃王勇武汉大学国家多媒体软件工程技术研究中心湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

传统预测网页变化的模型将一种规律应用到所有网页之上,没有考虑各页面之间的区别,针对网络论坛索引页面提出了一种基于统计学规律的增量更新策略模型。通过相关论坛版块的索引页面进行数据的采集,观察并证明其变化大致呈现以日为周期... 详细信息

传统预测网页变化的模型将一种规律应用到所有网页之上,没有考虑各页面之间的区别,针对网络论坛索引页面提出了一种基于统计学规律的增量更新策略模型。通过相关论坛版块的索引页面进行数据的采集,观察并证明其变化大致呈现以日为周期的规律性变化,一日之内的变化曲线与人们的生活规律相吻合。然后采用最小二乘法多项式曲线拟合对其进行数学建模,得到合适的数学模型,并将其应用在索引页面的增量更新之上,从而可以准确预测索引页面下一次更新的时间间隔。实验结果表明,该模型在10%误差范围内,预测的准确率为93.9%。

关键词：增量更新网页变化统计学数学建模

来源：评论

学校读者我要写书评

暂无评论

对抗水平侧信道攻击的查找表高阶掩码防护方案

对抗水平侧信道攻击的查找表高阶掩码防护方案

引用

中国密码学会2017年会

作者：唐明郭志鹏李煜光李延斌王蓬勃软件工程国家重点实验室武汉大学武汉中国计算机学院武汉大学武汉中国空天信息安全与可信计算教育部重点实验室武汉大学武汉中国计算机学院武汉大学武汉中国

掩码是一种常见的抗侧信道分析的防护方案,其原理基于秘密分享的思想.Ishai、Sahai与Wagner(ISW)提出了高阶掩码的理论安全性证明模型,并且Barthe等人更进一步提出了更精确的安全定义,叫做t-SNI安全性.在CHES2016会议中提出了一种新型... 详细信息

掩码是一种常见的抗侧信道分析的防护方案,其原理基于秘密分享的思想.Ishai、Sahai与Wagner(ISW)提出了高阶掩码的理论安全性证明模型,并且Barthe等人更进一步提出了更精确的安全定义,叫做t-SNI安全性.在CHES2016会议中提出了一种新型的攻击方法——水平侧信道攻击(HSCA),该攻击方法成功攻破了Rivain-Prouff提出的满足t-SNI安全性的防护方案.此时可以推断出,由于HSCA的影响,高阶掩码方案可能会变得更加脆弱.尽管存在Rivain-Prouff防护方案,但是很难将该方案应用于查找表高阶掩码方案,例如Coron在EUROCRYPT2014提出的方案.为了解决这样的问题,本文提出了一种新型的查找表高阶掩码方案,叫做查找表压缩掩码(TCM)方案.在满足t-SNI安全性的情况下,该方案依然可以抵抗HSCA.本文给出了t-SNI安全性定义之下的标准安全性证明,和针对HSCA的一种启发式安全性分析方法.通过将完整的查找表分拆为不同的部分并且根据重掩码的共享因子进行移位,在TCM方案中相同的共享因子不会经过多于两次的操作.该特性针对HSCA具有启发式的安全性,据作者所知,该方案是第一个抗HSCA的查找表高阶掩码方案.

关键词：查找表压缩掩码水平侧信道攻击安全性

来源：评论

学校读者我要写书评

暂无评论

一种基于动态污点的内存越界访问检测框架

引用

武汉大学学报（理学版） 2016年第5期62卷 401-410页

作者：傅建明汤毅刘秀文张旭武汉大学软件工程国家重点实验室湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

基于软件漏洞的APT(advanced persistent threat)攻击是目前互联网终端用户面临的最大安全威胁之一.传统的基于样本的检测方法往往滞后于攻击行动,无法在攻击发生时准确阻止攻击行为.针对悬浮指针(dangling pointer,DP)及索引溢出(index... 详细信息

基于软件漏洞的APT(advanced persistent threat)攻击是目前互联网终端用户面临的最大安全威胁之一.传统的基于样本的检测方法往往滞后于攻击行动,无法在攻击发生时准确阻止攻击行为.针对悬浮指针(dangling pointer,DP)及索引溢出(index overflow,IOF)两类常见漏洞错误,通过分析漏洞的形成机理及防护条件下漏洞利用过程,提出一种针对上述两种错误的自动检测框架.该框架以二进制动态分析平台Pin为基础,使用动态插桩技术和污点技术,通过动态追踪指针的整个生命周期并对指针使用的合法性进行检查,从而准确检测出DP和IOF类型的漏洞攻击样本并提供详细的漏洞信息.

关键词：高级持续性威胁软件漏洞释放后再引用索引溢出动态污点分析

来源：评论

学校读者我要写书评

暂无评论

道路网约束下的事件时空交互检验方法研究

引用

武汉大学学报（信息科学版） 2015年第3期40卷 353-356,383页

作者：佘冰朱欣焰苏科华呙维徐晓武汉大学测绘遥感信息工程国家重点实验室湖北武汉430079 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430079 武汉大学计算机学院湖北武汉430079

针对沿道路网分布的事件时空交互检验,构建网络约束下的事件空间权重矩阵,并利用事件本身的属性信息进行加权。在此基础上给出矩阵的计算方法,由此将Baker’s修正Knox时空交互检验方法扩展到网络空间。实验结果表明,本文方法可以灵活的... 详细信息

针对沿道路网分布的事件时空交互检验,构建网络约束下的事件空间权重矩阵,并利用事件本身的属性信息进行加权。在此基础上给出矩阵的计算方法,由此将Baker’s修正Knox时空交互检验方法扩展到网络空间。实验结果表明,本文方法可以灵活的衡量沿道路网分布事件的时空交互强度,从而为城市管理者提供一种道路网约束下的定量化时空交互检验手段。

关键词：时空交互检验道路网约束空间权重矩阵

来源：评论

学校读者我要写书评

暂无评论

弹性移动云计算的研究进展与安全性分析

引用

计算机研究与发展 2015年第6期52卷 1362-1377页

作者：李鹏伟傅建明李拴保吕少卿沙乐天武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 软件工程国家重点实验室(武汉大学) 武汉430072 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 西安710071 南京邮电大学计算机学院南京210046

弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migrat... 详细信息

弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migration-mobile cloud computing,CM-MCC)和通过云端的虚拟移动设备来辅助或代替移动设备完成多种任务的云端代理型移动云计算(cloud agentmobile cloud computing,CA-MCC)两类,分别对CM-MCC,CA-MCC的适用场景、实现流程、关键技术、存在问题及相应解决方法进行研究并指出其发展方向.对EMCC所面临的主要安全威胁,包括用户的错误操作或恶意行为、恶意代码、通信安全以及虚拟系统漏洞、多租户、不安全资源等云安全问题进行分析并研究相应防御方法,指出安全问题将是EMCC研究的重点和难点.

关键词：移动云计算计算迁移云端代理虚拟移动设备安全威胁

来源：评论

学校读者我要写书评

暂无评论

一种杀毒软件升级流程的安全性分析方法

引用

武汉大学学报（理学版） 2015年第6期61卷 509-516页

作者：傅建明刘高李鹏伟武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072

针对杀毒软件升级中存在的安全风险问题,基于杀毒软件升级流程,提出了一种静态分析与动态分析相结合的杀毒软件升级流程的安全性分析方法.该方法利用网络抓包理清升级的基本流程,通过进程监视获得升级文件信息,采用静态分析方法理解升... 详细信息

针对杀毒软件升级中存在的安全风险问题,基于杀毒软件升级流程,提出了一种静态分析与动态分析相结合的杀毒软件升级流程的安全性分析方法.该方法利用网络抓包理清升级的基本流程,通过进程监视获得升级文件信息,采用静态分析方法理解升级代码,用动态调试确认升级流程存在的安全问题,定位漏洞.运用该方法对百度杀毒、金山毒霸、瑞星、360杀毒这四款国内常用杀毒软件的升级流程进行分析,发现其中存在密钥泄露、校验逻辑泄露等漏洞,通过中间人攻击证实了这些漏洞的存在.同时,本文提出了加强DNS防护,SSL协议加密、对网络传输的明文数据进行签名以及对升级前后的文件进行数字签名等安全加固建议.

关键词：软件安全杀毒软件恶意代码中间人攻击数字签名

来源：评论

学校读者我要写书评

暂无评论

全息位置地图概念内涵及其关键技术初探

引用

武汉大学学报（信息科学版） 2015年第3期40卷 285-295页

作者：朱欣焰周成虎呙维胡涛刘洪强高文秀武汉大学测绘遥感信息工程国家重点实验室湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 深圳大学建筑与城市规划学院广东深圳518060

针对在泛在信息与大数据时代下,传统数字地图存在的局限性与面临的挑战,本文在原有概念基础上,拓展了全息位置地图概念内涵,即在泛在网环境下,以位置为纽带动态关联事物或事件的多时态(multitemporal)、多主题(multi-thematic)、多层次(... 详细信息

针对在泛在信息与大数据时代下,传统数字地图存在的局限性与面临的挑战,本文在原有概念基础上,拓展了全息位置地图概念内涵,即在泛在网环境下,以位置为纽带动态关联事物或事件的多时态(multitemporal)、多主题(multi-thematic)、多层次(multi-hierarchical)、多粒度(multi-granular)的信息,提供个性化的位置及与位置相关的智能服务平台;基于上述内涵,本文阐述了全息位置地图的重要组成与特征,并就泛在信息获取、语义位置关联和多维动态场景构建与表达等3个方面的关键技术进行了探讨。

关键词：泛在信息语义位置位置关联多维动态场景室内外一体化智能化服务

来源：评论

学校读者我要写书评

暂无评论

一种安全风险可控的弹性移动云计算通用框架

引用

计算机科学 2015年第B11期42卷 357-363页

作者：李新国李鹏伟傅建明丁笑一深圳数字电视国家工程实验室股份有限公司深圳518057 武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学软件工程国家重点实验室武汉430072

弹性移动云计算(Elastic Mobile Cloud Computing,EMCC)中,移动设备按照当前需求将部分计算任务迁移到云端执行,无缝透明地利用云资源增强自身功能。首先,在总结现有EMCC方案的基础上,抽象出通用的EMCC框架;指出EMCC程序中敏感模块的迁... 详细信息

弹性移动云计算(Elastic Mobile Cloud Computing,EMCC)中,移动设备按照当前需求将部分计算任务迁移到云端执行,无缝透明地利用云资源增强自身功能。首先,在总结现有EMCC方案的基础上,抽象出通用的EMCC框架;指出EMCC程序中敏感模块的迁移会给EMCC带来隐私泄露、信息流劫持等安全风险;然后设计了融合风险管理的弹性移动云计算通用框架,该框架将安全风险看作EMCC的一种成本,保证EMCC的使用对用户来说是有利的;最后,指出风险管理的难点在于风险量化以及敏感模块标注。对此,设计了风险量化算法,实现了Android程序敏感模块自动标注工具,并通过实验证明了自动标注的准确性。

关键词：移动云计算 Android 模块分配安全威胁风险控制

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：