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

第十二届中国可信计算与信息安全学术会议

作者：姚维芊彭国军傅建明罗元武汉大学空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院

针对移动设备上用户伪造设备定位的情况，分析了现有应用定位信息伪造检测的手段，提出通过采集设备中多个传感器数据来分析刻画用户轨迹，并与用户提交的地理位置信息进行匹配，从而鉴别用户定位是否存在篡改的方案。利用传感器定位无...

针对移动设备上用户伪造设备定位的情况，分析了现有应用定位信息伪造检测的手段，提出通过采集设备中多个传感器数据来分析刻画用户轨迹，并与用户提交的地理位置信息进行匹配，从而鉴别用户定位是否存在篡改的方案。利用传感器定位无需任何额外权限，且实验证明本文方案准确性高，可检测多种不同的定位伪装场景，在保证实验结果可靠性的前提下，较低的采样频率不会影响系统性能，额外开销较低。

关键词：

来源：评论

学校读者我要写书评

暂无评论

电力CPS信息网络脆弱性及其评估方法

引用

中国电力 2018年第1期51卷 83-89页

作者：杨国泰王宇飞罗剑波陈汹李俊娥刘剑茹叶棋吴亦贝武汉大学电气工程学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 全球能源互联网研究院北京102209 国网电力科学研究院江苏南京211100

电力信息网络是电力CPS的有机组成部分,电力信息网络的脆弱性威胁评估是电力CPS风险评估的重要基础之一。针对通用信息网络脆弱性威胁评估技术的局限性,在通用弱点评价体系(CVSS)的基础上提出了一种适用于电力信息网络的脆弱性威胁评估... 详细信息

电力信息网络是电力CPS的有机组成部分,电力信息网络的脆弱性威胁评估是电力CPS风险评估的重要基础之一。针对通用信息网络脆弱性威胁评估技术的局限性,在通用弱点评价体系(CVSS)的基础上提出了一种适用于电力信息网络的脆弱性威胁评估方法。选取了漏洞分布威胁度、访问途径和利用复杂度3组安全漏洞评估要素;采用层次分析法建立了脆弱性威胁度评估模型,给出了参数构造方法;在定量评估的基础上,将评估结果定义了脆弱性威胁等级。最后给出了一个评估实例,并与CVSS系统进行了比较。评估结果表明基于层次分析法的信息网络脆弱性评估反映了信息与物理的耦合关系。

关键词： CPS 电力信息网络脆弱性威胁评估层次分析法

来源：评论

学校读者我要写书评

暂无评论

一种基于熵的视频运动矢量隐写分析算法

一种基于熵的视频运动矢量隐写分析算法

引用

第十三届全国信息隐藏暨多媒体信息安全学术大会

作者：王丽娜徐一波翟黎明任延珍武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

利用运动矢量隐写对相邻运动矢量相似性的破坏作用,提出一种基于信息熵的视频运动矢量隐分析算法.该算法在视频帧的滑动窗口中选取运动矢量,并分别对水平分量H、垂直分量V、方向D以及长度L四个系数进行熵值计算以描述运动矢量的相似度.... 详细信息

利用运动矢量隐写对相邻运动矢量相似性的破坏作用,提出一种基于信息熵的视频运动矢量隐分析算法.该算法在视频帧的滑动窗口中选取运动矢量,并分别对水平分量H、垂直分量V、方向D以及长度L四个系数进行熵值计算以描述运动矢量的相似度.最后,通过移动帧内滑动窗口位置计算各窗口内运动矢量熵均值,构造了16维运动矢量的HVDL特征.实验表明HVDL特征具有算法简单、高运行速度以及良好的检测率等优点.

关键词：保密通信视频图像运动矢量隐写算法信息熵

来源：评论

学校读者我要写书评

暂无评论

MSN中用户属性隐私安全的选择性匹配协议

MSN中用户属性隐私安全的选择性匹配协议

引用

第二十届全国网络与数据通信学术会议

作者：李永凯刘树波杨召唤刘梦君武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

根据资料属性选择性匹配问题,设计了一个基于欧氏距离的匹配度量函数,利用Paillier公钥加密算法提出了可以实现选择性匹配的隐私安全协议.针对不同的隐私性与时效性要求,分别设计了时效优先选择性匹配(EPSM)和隐私优先选择性匹配(PPSM)... 详细信息

根据资料属性选择性匹配问题,设计了一个基于欧氏距离的匹配度量函数,利用Paillier公钥加密算法提出了可以实现选择性匹配的隐私安全协议.针对不同的隐私性与时效性要求,分别设计了时效优先选择性匹配(EPSM)和隐私优先选择性匹配(PPSM)协议.EPSM协议具有较高的匹配效率,但是其隐私安全性较PPSM协议低;PPSM通过混淆用户数据,实现高隐私安全性的匹配,但是匹配效率较EPSM低.此外,还对协议进行了安全性分析与效率分析.分析结果表明:所设计的协议可以在不泄露用户资料信息的前提下,满足不同需求的选择性匹配.

关键词：移动社交网络用户资料隐私安全选择性匹配协议

来源：评论

学校读者我要写书评

暂无评论

大规模可控负荷被恶意控制场景下配电网风险分析

引用

电力系统自动化 2018年第10期42卷 30-37页

作者：吴亦贝李俊娥陈汹刘权莹王宇罗剑波倪明武汉大学电气工程学院湖北省武汉市430072 空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北省武汉市430072 南瑞集团(国网电力科学研究院)有限公司江苏省南京市211106 国电南瑞科技股份有限公司江苏省南京市211106 智能电网保护和运行控制国家重点实验室江苏省南京市211106

用户对负荷的远程可控性及用户侧信息安全防护措施的脆弱性,使得可控负荷极易被攻击者恶意控制,可能出现大规模负荷的同投/同退或频繁投退现象,从而威胁电网的安全稳定运行。首先,分析了各类可控负荷面临的安全威胁与攻击成本,考虑网络... 详细信息

用户对负荷的远程可控性及用户侧信息安全防护措施的脆弱性,使得可控负荷极易被攻击者恶意控制,可能出现大规模负荷的同投/同退或频繁投退现象,从而威胁电网的安全稳定运行。首先,分析了各类可控负荷面临的安全威胁与攻击成本,考虑网络攻击因素,提出了含有可控负荷的配电网控制模型,建立了可控负荷被恶意控制的攻击模型,并以"开""关"控制为基础,定义了可控负荷可能遭受的三类攻击,通过实测和统计分析,研究了网络时延对攻击模型参数的影响。在上述工作的基础上,选取了合适的场景,仿真分析了可控负荷遭受恶意控制对配电网供电可靠性和电能质量的影响,证明了被控负荷达到一定规模后会给配电网带来风险,并针对不同攻击类型给出了风险后果。

关键词：可控负荷风险攻击模型供电可靠性电能质量

来源：评论

学校读者我要写书评

暂无评论

基于JavaCard的云数据确定性删除方法

引用

武汉大学学报（理学版） 2023年第6期69卷 719-728页

作者：任正伟陈钟凯王丽娜邓莉徐士伟童言武汉科技大学计算机科学与技术学院湖北武汉430065 智能信息处理与实时工业系统湖北省重点实验室湖北武汉430065 空天信息安全与可信计算教育部重点实验室武汉大学国家网络空间安全学院湖北武汉430072 华中农业大学信息学院湖北武汉430070 华中农业大学理学院湖北武汉430070

确定性删除将外包数据的删除问题转换为密钥的安全管控和删除问题,使得留存于云服务提供商和数据使用者处的外包数据是失效、不可恢复的。但是,现有的确定性删除方案大多是在资源充裕的计算机和智能手机上设计和实现的,无法应用于资源... 详细信息

确定性删除将外包数据的删除问题转换为密钥的安全管控和删除问题,使得留存于云服务提供商和数据使用者处的外包数据是失效、不可恢复的。但是,现有的确定性删除方案大多是在资源充裕的计算机和智能手机上设计和实现的,无法应用于资源受限的嵌入式设备。本文提出了适用于JavaCard平台的云数据确定性删除方法。在该方法中,密钥的使用条件可以是时间,也可以是次数,数据属主可以根据其需要选取一种条件以实现密钥在数据使用者端的受限使用。对于这两种使用条件,数据使用者都可以将密钥及使用条件安全保存在本地,节省通信开销。当密钥使用条件满足时,JavaCard用密钥解密数据;当密钥使用条件不满足时,JavaCard安全删除密钥,并生成可公开验证的密钥删除证据。实验和对比分析表明,本文方案性能开销合理,能够实现预期目的,可以应用于嵌入式设备。

关键词：云数据确定性删除密钥管理 JavaCard

来源：评论

学校读者我要写书评

暂无评论

Android组件间通信的安全缺陷静态检测方法

Android组件间通信的安全缺陷静态检测方法

引用

2013年第四届中国计算机学会服务计算学术会议

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

针对Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数... 详细信息

针对Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数调用图(FCG)和组件调用图(CCG);然后,检测出潜在的危险组件、隐式Intent以及隐私泄露路径;最后,用该方法对20款流行的Android应用软件进行检测.结果显示:这些应用软件全部使用了隐式Intent,25％使用了动态代码,80％存在危险组件,40％存在隐私泄露.

关键词：安卓应用程序通信安全缺陷检测静态分析

来源：评论

学校读者我要写书评

暂无评论

一种基于约束的指针程序路径选择方法

一种基于约束的指针程序路径选择方法

引用

2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

作者：郭曦张焕国武汉大学计算机学院，湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室，湖北武汉 430072

动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针... 详细信息

动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针分析过程引入约束条件，产生可以进行路径选择的测试用例，以提高指针分析的精度。在国内首款某型号商用编译器的开发过程中实现了该方法，实验结果表明，该方法可以准确地分析C语言测试用例，缩短用例测试的时间。

关键词：约束求解静态单赋值符号动态执行指针分析路径选择

来源：评论

学校读者我要写书评

暂无评论

基于宏块复杂度的自适应视频运动矢量隐写算法

基于宏块复杂度的自适应视频运动矢量隐写算法

引用

第十三届全国信息隐藏暨多媒体信息安全学术大会

作者：王丽娜徐一波翟黎明任延珍武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

针对目前运动矢量隐写算法反检测能力较弱的问题,理论分析了运动矢量最优性以及相关性影响因素,提出一种基于宏块复杂度的视频运动矢量自适应隐写算法(Adaptive Macroblock Complexity,AMC).该算法通过自适应调整复杂度阈值,将低复杂度... 详细信息

针对目前运动矢量隐写算法反检测能力较弱的问题,理论分析了运动矢量最优性以及相关性影响因素,提出一种基于宏块复杂度的视频运动矢量自适应隐写算法(Adaptive Macroblock Complexity,AMC).该算法通过自适应调整复杂度阈值,将低复杂度宏块作为隐藏宏块,利用LSB匹配嵌入保持相邻运动矢量相关性.实验结果表明,隐写后视频码率增长较小,画面质量得到很好保持,对于基于局部最优或基于相邻相关性异常的隐写分析算法有较强的反检测能力.

关键词：视频编码运动矢量隐写算法宏块复杂度

来源：评论

学校读者我要写书评

暂无评论

PRESENT的多模型差分错误分析

PRESENT的多模型差分错误分析

引用

中国密码学会2011年会

作者：唐明沈菲邓慧尹鹏邱镇龙马啸张焕国武汉大学信息安全与可信计算机教育部重点实验室武汉武汉大学计算机学院武汉武汉大学计算机学院武汉

相比现有最有效PRESENT的DFA分析中，本文利用两种不同长度随机错误，对PRESENT密码算法进行四种错误模型的DFA分析，最少仅需17对错误样本就可以分析得到最后一轮白化密钥的64bit，该分析方法己对PRESENT密码算法构成实际威胁。

关键词：密码算法差分错误分析明文加密

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：