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

通信学报 2021年第11期42卷 54-65页

作者：刘海田有亮唐莹 Jianbing Ni 马建峰贵州财经大学信息学院贵州贵阳550025 中国科学院软件研究所可信计算与信息保障实验室北京100190 贵州大学公共大数据国家重点实验室贵州贵阳550025 贵州财经大学发展规划与学科建设办公室贵州贵阳550025 女王大学电子与计算机学院金斯顿K7L 3N6

理性秘密重构是为了约束理性用户的自利性,在现实生活中确保所有参与用户均能获得共享秘密。然而,如果直接使用现有的理性秘密重构协议,不仅不能实现公平的秘密重构,甚至还会出现用户将虚假的秘密视为真实共享秘密的极端情形。导致上述... 详细信息

理性秘密重构是为了约束理性用户的自利性,在现实生活中确保所有参与用户均能获得共享秘密。然而,如果直接使用现有的理性秘密重构协议,不仅不能实现公平的秘密重构,甚至还会出现用户将虚假的秘密视为真实共享秘密的极端情形。导致上述现象的根本原因是缺乏参考模型,使协议设计者难以全面地考虑理性用户参与秘密重构时的自利行为。为解决该问题,通过形式化描述理性用户模型和理性秘密重构博弈模型来分析理性用户执行秘密重构协议时的先后顺序以及策略选择对公平秘密重构的影响,分别提出了面向纯理性用户环境、面向信誉环境和面向可信用户环境3种适用于不同场景的理性秘密重构协议设计模型。理论证明了所提模型能帮助协议设计者有效约束理性用户的自利性,设计了公平的理性秘密重构协议。此外,基于提出的设计模型,还构造了一个公平的理性秘密重构协议来证明所提模型的可用性。

关键词：秘密共享理性用户重构公平设计模型自利行为

来源：评论

学校读者我要写书评

暂无评论

基于DICE的证明存储方案

引用

计算机系统应用 2023年第9期32卷 53-66页

作者：王辉冯伟秦宇中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190

信息技术的不断发展和智能终端设备的普及导致全球数据存储总量持续增长,数据面临的威胁挑战也随着其重要性的凸显而日益增加,但目前部分计算设备和存储设备仍存在缺乏数据保护模块或数据保护能力较弱的问题.现有数据安全存储技术一般... 详细信息

信息技术的不断发展和智能终端设备的普及导致全球数据存储总量持续增长,数据面临的威胁挑战也随着其重要性的凸显而日益增加,但目前部分计算设备和存储设备仍存在缺乏数据保护模块或数据保护能力较弱的问题.现有数据安全存储技术一般通过加密的方式实现对数据的保护,但是数据的加解密操作即数据保护过程通常都在应用设备上执行,导致应用设备遭受各类攻击时会对存储数据的安全造成威胁.针对以上问题,本文提出了一种基于DICE的物联网设备证明存储方案,利用基于轻量级信任根DICE构建的可信物联网设备为通用计算设备(统称为主机)提供安全存储服务,将数据的加解密操作移至可信物联网设备上执行,消除因主机遭受内存攻击等风险对存储数据造成的威胁.本文工作主要包括以下3方面:(1)利用信任根DICE构建可信物联网设备,为提供可信服务提供安全前提.(2)建立基于信任根DICE的远程证明机制和访问控制机制实现安全认证和安全通信信道的建立.(3)最终利用可信物联网设备为合法主机用户提供可信的安全存储服务,在实现数据安全存储的同时,兼顾隔离性和使用过程的灵活性.实验结果表明,本方案提供的安全存储服务具有较高的文件传输速率,并具备较高的安全性,可满足通用场景下的数据安全存储需求.

关键词：物联网设备安全存储轻量级信任根可信启动远程证明

来源：评论

学校读者我要写书评

暂无评论

模糊测试改进技术评估

引用

计算机系统应用 2022年第10期31卷 1-14页

作者：张阳佟思明程亮孙晓山中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190

模糊测试技术在发现真实程序漏洞中具有突出效果.近年来,模糊测试改进技术受到了相关学者的广泛关注,大量的优化模糊测试工具被相继提出,被提出的优化模糊测试工具多数结合了多种改进技术以期望达到更好的效果.然而,当前仍然缺乏对单一... 详细信息

模糊测试技术在发现真实程序漏洞中具有突出效果.近年来,模糊测试改进技术受到了相关学者的广泛关注,大量的优化模糊测试工具被相继提出,被提出的优化模糊测试工具多数结合了多种改进技术以期望达到更好的效果.然而,当前仍然缺乏对单一模糊测试改进技术的系统性评估与分析.本文首先基于4个指标,设计建立了一个针对单一模糊测试改进技术的评估体系,然后基于所提出的评估体系,对近年提出的先进模糊测试工具中集成的多个单一模糊测试改进算法进行了多组实验以评估不同改进技术类别中各个单一改进技术的改进效果,并结合实验数据与实际算法设计和代码实现进行分析.我们希望通过对单一模糊测试改进技术的评估与分析能够对未来的模糊测试改进研究工作提供帮助.

关键词：漏洞挖掘模糊测试评估改进技术信息安全

来源：评论

学校读者我要写书评

暂无评论

一种大数据的访问控制框架和模型

一种大数据的访问控制框架和模型

引用

第三届CCF大数据学术会议

作者：惠榛李昊张敏冯登国中国科学院软件研究所可信计算与信息保障实验室

在收集到大数据后，企业(如医疗系统)面临着保护数据安全，防止隐私泄露的问题。访问控制作为保护数据的经典方法在大数据场景下面临着新的问题：面对大数据，制定准确的访问控制策略不仅需要策略制定者具备专业的领域知识，更是劳动密...

在收集到大数据后，企业(如医疗系统)面临着保护数据安全，防止隐私泄露的问题。访问控制作为保护数据的经典方法在大数据场景下面临着新的问题：面对大数据，制定准确的访问控制策略不仅需要策略制定者具备专业的领域知识，更是劳动密集型工作;大数据的复杂性也导致了用户实际需求不符合授权的情况。因此，大数据的访问控制需要具备自动化和自适应性两个特征。本文提出一种精化访问控制框架，以及在该框架下的一个基于风险的适应性访问控制模型，来实现上述两个特征。还给出了该框架和模型在医疗系统中的实施方法并进行实验。实验结果表明，该框架与模型是有效的。

关键词：

来源：评论

学校读者我要写书评

暂无评论

数据为王时代的隐私保护

数据为王时代的隐私保护

引用

2014年中国互联网安全大会

作者：张敏中国科学院软件研究所可信计算与信息保障实验室

如果说互联网时代人们的隐私受到了威胁，那么大数据时代无疑加深了这种威胁：因为前者涉及特定的隐私信息;后者是对用户的全景洞察。需要从国家与社会层面限定互联网企业对用户隐私信息的收集与使用，从根源上解决隐私保护问题。需要... 详细信息

如果说互联网时代人们的隐私受到了威胁，那么大数据时代无疑加深了这种威胁：因为前者涉及特定的隐私信息;后者是对用户的全景洞察。需要从国家与社会层面限定互联网企业对用户隐私信息的收集与使用，从根源上解决隐私保护问题。需要以标准、规范等形式对其行为进行引导与限定。此外，从技术角度实现大数据隐私保护也十分必要，笔者今天所介绍的社交网络匿名保护、大数据访问控制、密文检索技术等都仍需大家共同努力、深入探索。

关键词：大数据隐私保护技术标准

来源：评论

学校读者我要写书评

暂无评论

一种面向轨迹数据发布场景的用户去匿名化攻击方法

引用

信息安全研究 2017年第10期3卷 902-912页

作者：陈震宇张敏付艳艳张振峰李昊中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100190

轨迹去匿名攻击可以把匿名轨迹数据与用户的真实身份关联起来,从而发现用户的隐私信息.基于隐马尔可夫模型的去匿名是当前最广泛使用的轨迹去匿名攻击方式.然而,已有研究对不同用户的个体差异性考虑不足,在建立用户隐马尔可夫模型时统... 详细信息

轨迹去匿名攻击可以把匿名轨迹数据与用户的真实身份关联起来,从而发现用户的隐私信息.基于隐马尔可夫模型的去匿名是当前最广泛使用的轨迹去匿名攻击方式.然而,已有研究对不同用户的个体差异性考虑不足,在建立用户隐马尔可夫模型时统一指定模型的隐含态(即行为状态)或隐含态数目,导致模型不够准确.此外,基于模型方法的时间复杂度较高,大量匿名轨迹与大量模型进行匹配会严重影响匿名效率.而且,这些研究大都基于非开放场景,但事实上敌手并不一定拥有匿名轨迹对应的用户信息,所以在开放场景下进行去匿名更符合实际情况.为此提出一种新的轨迹去匿名攻击方法.该方法使用基于密度的方法获取模型的隐含态,构建更符合用户行为的模型,提高去匿名的准确率;在去匿名模型匹配前,使用频繁时空块进行粗粒度过滤,减少待匹配的模型以提高效率;引入一个特殊模型来处理无正确匹配目标的匿名轨迹,支持开放场景下的去匿名攻击.实验表明该方法在开放场景攻击的准确率和效率方面都有良好的表现.

关键词：去匿名轨迹数据发布基于密度的隐马尔可夫模型频繁时空块开放场景

来源：评论

学校读者我要写书评

暂无评论

网络安全知识图谱关键技术

引用

数据与计算发展前沿 2021年第3期3卷 9-18页

作者：李序连一峰张海霞黄克振中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190

【目的】复杂多变的网络攻击活动对网络安全工作带来了严峻挑战。将知识图谱引入网络安全领域,有助于刻画展现安全态势,支持安全决策和预警预测。【方法】本文综述了目前国内外知识图谱相关技术的研究进展及其在网络安全领域的应用现状... 详细信息

【目的】复杂多变的网络攻击活动对网络安全工作带来了严峻挑战。将知识图谱引入网络安全领域,有助于刻画展现安全态势,支持安全决策和预警预测。【方法】本文综述了目前国内外知识图谱相关技术的研究进展及其在网络安全领域的应用现状。【结果】在此基础上,阐述了构建网络安全知识图谱的技术架构,定义了网络安全本体模型,采用深度学习的方法进行实体抽取和关系抽取,利用基于规则和基于知识表示学习的方法进行图谱推理,实现网络安全知识补全和分析挖掘。

关键词：网络安全知识图谱深度学习威胁情报

来源：评论

学校读者我要写书评

暂无评论

一类积分不等式的机器判定

引用

中国科学：信息科学 2011年第1期41卷 48-65页

作者：杨路郁文生袁如意华东师范大学软件学院上海高可信计算重点实验室上海200062 中国科学院成都计算机应用研究所自动推理实验室成都610041 中国科学院自动化研究所综合信息系统研究中心北京100190

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表... 详细信息

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.

关键词：积分不等式对称多项式不等式 Timofte降维法差分代换机器判定不等式证明软件-BOTTEMA

来源：评论

学校读者我要写书评

暂无评论

基于卷积降噪自编码器的藏文历史文献版面分析方法

引用

中文信息学报 2018年第7期32卷 67-73,81页

作者：张西群马龙龙段立娟刘泽宇吴健北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 中国科学院软件研究所中文信息处理实验室北京100190 大规模流数据集成与分析北京市重点实验室北京100124

近年来,随着人们对历史和传统文化的保护和传承越来越重视,研究人员对历史文献数字化的兴趣也越来越高涨。版面分析是历史文献数字化的重要基础步骤,该文提出了一种基于卷积降噪自编码器的藏文历史文献版面分析方法。首先,将藏文历史文... 详细信息

近年来,随着人们对历史和传统文化的保护和传承越来越重视,研究人员对历史文献数字化的兴趣也越来越高涨。版面分析是历史文献数字化的重要基础步骤,该文提出了一种基于卷积降噪自编码器的藏文历史文献版面分析方法。首先,将藏文历史文献图像进行超像素聚类获得超像素块;然后,利用卷积降噪自编码器提取超像素块的特征;最后,使用SVM分类器对藏文历史文献的超像素块进行分类预测,从而提取出藏文历史文献版面的各个部分。在藏文历史文献数据集上的实验表明,该方法能够对藏文历史文献的不同版面元素进行有效的分离。

关键词：藏文历史文献版面分析卷积降噪自编码器超像素

来源：评论

学校读者我要写书评

暂无评论

标准模型下增强的基于属性的认证密钥协商协议

标准模型下增强的基于属性的认证密钥协商协议

引用

2013中国计算机大会

作者：李强冯登国张立武高志刚中国科学院软件研究所可信计算与信息保障实验室北京 100190

采用一种简洁高效的转化方法将Waters的只能抵抗选择明文攻击(Chosen-Plaintext Attack,CPA)的基于属性的加密方案转化为能够抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的密钥封装方案,并在此基础上提出了一个标准模型下增强的基... 详细信息

采用一种简洁高效的转化方法将Waters的只能抵抗选择明文攻击(Chosen-Plaintext Attack,CPA)的基于属性的加密方案转化为能够抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的密钥封装方案,并在此基础上提出了一个标准模型下增强的基于属性的认证密钥协商协议.该协议能够在CK+模型下可证安全.CK+模型是目前关于认证密钥协商协议的最强的安全性定义.本文协议满足弱的完美前向安全性,并能抵抗密钥泄露伪装攻击和临时密钥泄露攻击.相比于现有的基于属性的认证密钥协商协议,本文协议具有更高的通信效率和更强的安全性.

关键词：认证密钥协商协议标准模型性能评价

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：