基于简单随机抽样的大数据可信性验证方法 被引量：4

1

作者 任正伟 孙小雁 +3 位作者 王丽娜 王骞 徐明迪 张茂胜 《电子学报》 EI CAS CSCD 北大核心 2017年第10期2484-2490,共7页

针对大数据的可信性验证问题,本文提出了一种大数据可信性验证方法以验证数据来源和数据内容的可信性.本文首先通过验证数据属主的身份证书来实现数据来源可信性的验证,再在简单随机抽样和可聚合的广播签名方案的基础上,设计了一个交互... 针对大数据的可信性验证问题,本文提出了一种大数据可信性验证方法以验证数据来源和数据内容的可信性.本文首先通过验证数据属主的身份证书来实现数据来源可信性的验证,再在简单随机抽样和可聚合的广播签名方案的基础上,设计了一个交互式质询-应答协议,使得用户只需抽样少量数据就能以高置信率验证数据内容的可信性.理论分析和实验结果表明,本文方法是安全的,且性能开销在合理范围内,能够实现大数据的可信性验证. 展开更多

关键词 大数据安全 可信性验证 认证标签 安全协议

下载PDF 职称材料

一类矩阵方程中心对称解的可信性验证 被引量：2

2

作者 桑海风 李敏 +1 位作者 刘畔畔 李庆春 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2017年第5期1135-1140,共6页

考虑矩阵方程AXB+BXA=C(A,B,C,X∈C^(n×n))中心对称解的可信性验证问题.在A,B可同时对角化的假设下,提出一种区间算法,该算法输出一个近似中心对称解及其相应的误差界,使得在近似解的误差范围内必存在该方程的一个精确中心对称解,... 考虑矩阵方程AXB+BXA=C(A,B,C,X∈C^(n×n))中心对称解的可信性验证问题.在A,B可同时对角化的假设下,提出一种区间算法,该算法输出一个近似中心对称解及其相应的误差界,使得在近似解的误差范围内必存在该方程的一个精确中心对称解,且该算法的复杂度仅为O(n^3). 展开更多

关键词 矩阵方程 中心对称矩阵 可信性验证 区间

下载PDF 职称材料

基于医疗健康大数据的安全起源模型与可信性验证算法 被引量：6

3

作者 王凤英 张方 张伟 《山东理工大学学报（自然科学版）》 CAS 2017年第6期6-11,共6页

面对医疗健康大数据,使用者或决策者难以判定其来源及是否可信.为了得到可信的数据,需要知道它的安全起源,同时确保数据起源的安全.针对上述问题,提出了基于W3CPROV的安全数据起源模型PROV-S,研究安全起源关系图中的各种标注对象,定义... 面对医疗健康大数据,使用者或决策者难以判定其来源及是否可信.为了得到可信的数据,需要知道它的安全起源,同时确保数据起源的安全.针对上述问题,提出了基于W3CPROV的安全数据起源模型PROV-S,研究安全起源关系图中的各种标注对象,定义了安全起源伴生节点、安全伴生关系、触发关系以及各组件之间的关联关系.在安全模型PROV-S的基础上,以安全关系类的完整性子类为例,提出了一级完整性设计和验证方案,给出了具有实现可信性的完整性验证方案,并分析了其特点.通过对模型与可信性方案的安全及效率分析表明,建立的模型能保证医疗健康数据的安全性,完整性验证方案能保证数据来源的可信性. 展开更多

关键词 医疗健康大数据 安全起源模型 可信性验证 安全伴生关系

下载PDF 职称材料

层次化行为可信性验证 被引量：1

4

作者 庄琭 蔡勉 沈昌祥 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第9期1396-1401,共6页

为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证... 为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题. 展开更多

关键词 可信计算 可信动态度量 行为可信性验证 层次化方法

下载PDF 职称材料

使用Pi演算的构件交互可信性验证模型 被引量：1

5

作者 王丹 常建生 赵文兵 《计算机科学与探索》 CSCD 2012年第5期419-429,共11页

为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为... 为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。 展开更多

关键词 构件 交互 PI演算 可信性验证

下载PDF 职称材料

结构方阵秩亏为1的可信性验证 被引量：1

6

作者 李喆 周蕊 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2013年第6期1101-1103,共3页

利用区间算法研究秩亏为1结构方阵的可信性验证.通过给定一个具有特殊代数结构的矩阵M,算法可输出一个具有相同代数结构的区间方阵M(E),其每个位置的元素均为矩阵M相应位置元素的很小区间摄动,使得区间矩阵M(E)中包含一个具有相同代数... 利用区间算法研究秩亏为1结构方阵的可信性验证.通过给定一个具有特殊代数结构的矩阵M,算法可输出一个具有相同代数结构的区间方阵M(E),其每个位置的元素均为矩阵M相应位置元素的很小区间摄动,使得区间矩阵M(E)中包含一个具有相同代数结构且秩亏为1的矩阵M(^ε). 展开更多

关键词 区间算法 结构方阵 可信性验证

下载PDF 职称材料

结构方阵秩亏为k的可信性验证

7

作者 李喆 尹伟石 杨华 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2014年第3期465-469,共5页

利用区间算法研究结构矩阵秩亏为k的可信性验证.对具有特殊代数结构的矩阵A(p),给出了算法输出具有相同代数结构的区间矩阵A(p+W),其每个位置的元素为矩阵A(p)相应位置元素的很小区间摄动,使得区间矩阵A(p+W)中包含一个具有相同代数结... 利用区间算法研究结构矩阵秩亏为k的可信性验证.对具有特殊代数结构的矩阵A(p),给出了算法输出具有相同代数结构的区间矩阵A(p+W),其每个位置的元素为矩阵A(p)相应位置元素的很小区间摄动,使得区间矩阵A(p+W)中包含一个具有相同代数结构且秩亏为k的矩阵A(p+w).结果表明,结构矩阵秩亏为k的可信性验证可以应用到多项式因式分解的可信性计算中. 展开更多

关键词 区间算法 结构方阵 可信性验证 秩

下载PDF 职称材料

某型火炮虚拟样机的建立及可信性验证

8

作者 陈华 刘洋 《价值工程》 2010年第35期36-37,共2页

针对目前火炮在实际使用过程中,由于测试手段的局限性,进行实弹射击危险性较大,不能很好的判断反后坐装置工作是否正常。本文以虚拟样机技术为研究手段对火炮反后坐装置的工作性能进行评估,通过仿真试验结果,检验虚拟样机的可信性。

关键词 某型火炮 虚拟样机 建立 可信性验证

下载PDF 职称材料

面向云平台的运行环境可信性验证算法研究

9

作者 毛明扬 徐胜超 《计算机与数字工程》 2022年第10期2240-2245,2316,共7页

提出一种可信性验证算法用于验证云平台运行环境的可行性与安全性。云平台IaaS层利用基于漏洞特征信息流跟踪与关键过程重构的固件安全性验证方法,挖掘固件漏洞,通过侧信道分析方法检测硬件基础设施是否存在泄露用户数据风险;云平台Paa... 提出一种可信性验证算法用于验证云平台运行环境的可行性与安全性。云平台IaaS层利用基于漏洞特征信息流跟踪与关键过程重构的固件安全性验证方法,挖掘固件漏洞,通过侧信道分析方法检测硬件基础设施是否存在泄露用户数据风险;云平台PaaS层设计可信性验证环境的agent保护机制,保障验证过程的可信性;云平台SaaS层负责提供计算服务,并借助可信第三方提供可信性验证用例,利用故障树分析法验证云平台运行环境可信性。分析实验结果可知,所提算法能够对云平台运行环境的可信性进行有效验证,并通过分析得到影响云平台可信性的具体因素。 展开更多

关键词 云平台 运行环境 可信性验证 故障树

下载PDF 职称材料

面向云计算模式运行环境可信性动态验证机制 被引量：19

10

作者 刘川意 林杰 唐博 《软件学报》 EI CSCD 北大核心 2014年第3期662-674,共13页

如何为用户提供一个可证明、可验证的可信运行环境,是云计算模式面临的重要问题.提出一种动态的用户运行环境可信性验证机制TCEE(trusted cloud execution environment).通过扩展现有可信链,将可信传递到用户虚拟机内部,并周期性地对用... 如何为用户提供一个可证明、可验证的可信运行环境,是云计算模式面临的重要问题.提出一种动态的用户运行环境可信性验证机制TCEE(trusted cloud execution environment).通过扩展现有可信链,将可信传递到用户虚拟机内部,并周期性地对用户运行环境的内存和文件系统进行完整性验证.TCEE引入可信第三方TTP(trusted third party),针对用户虚拟机运行环境的可信性进行远程验证和审计,避免了由用户维护可信验证的相关信息和机制,同时也能够避免云平台敏感信息的泄露.实现了基于TCEE的原型系统,对TCEE的有效性和性能代价进行定量测试和评价.实验结果表明,该机制可以有效检测针对内存和文件系统的典型威胁,且对用户运行环境引入的性能代价较小. 展开更多

关键词 云计算 可信性验证 可信计算 TPM

下载PDF 职称材料

基于免逆牛顿法的对称张量Z-特征对可信验证 被引量：1

11

作者 桑海风 李敏 +2 位作者 刘畔畔 王春艳 栾天 《吉林大学学报（理学版）》 CAS 北大核心 2020年第1期90-94,共5页

利用免逆牛顿法及区间算法理论,研究对称张量Z-特征对的可信验证问题,提出了一种计算Z-特征对的区间算法.该算法通过输出一个近似Z-特征对及其相应的误差界,使得在近似解的误差范围内必存在一个精确的Z-特征对.

关键词 对称张量 特征对 可信性验证 牛顿法

下载PDF 职称材料

非线性方程组重根的可信验证方法 被引量：1

12

作者 桑海风 万保成 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2014年第4期703-708,共6页

利用区间算法及边界矩阵理论,研究非线性方程组重根的可信性验证方法.提出一种可信验证算法,该算法输出一个近似解及其相应的误差界,使得在近似解的误差界范围内必存在一个精确解.

关键词 非线性方程组 可信性验证 区间算法

下载PDF 职称材料

网格服务中虚拟计算环境的可信保证机制 被引量：1

13

作者 王栋博 《微计算机信息》 北大核心 2008年第3期51-53,共3页

本文结合虚拟技术的发展和安全验证领域的相关技术,为保证网格计算中虚拟执行环境的可信性,提高任务的计算质量,研究了适合于虚拟机应用环境的两种可信验证方法:以硬件TPM(Trusted Platform Module)为信任基和以虚拟机操作系统内核为信... 本文结合虚拟技术的发展和安全验证领域的相关技术,为保证网格计算中虚拟执行环境的可信性,提高任务的计算质量,研究了适合于虚拟机应用环境的两种可信验证方法:以硬件TPM(Trusted Platform Module)为信任基和以虚拟机操作系统内核为信任基的虚拟机软件环境可信验证机制。 展开更多

关键词 可信性验证 虚拟计算环境 可信加载 虚拟机 网格

下载PDF 职称材料

基于区块链技术的新型数据溯源与安全存储平台的研究 被引量：3

14

作者 王娜 刘文丰 +2 位作者 周玲玉 胡晨操 王欢 《电脑编程技巧与维护》 2023年第11期166-169,共4页

随着互联网数据量的快速增长和信息技术的进步,数据泄露已成为影响数据可信性和完整性的关键问题。因此,研究数据溯源及其存储安全显得尤为重要。区块链技术作为一种去中心化的分布式账本,在数据溯源及存储安全方面得到了广泛应用。探... 随着互联网数据量的快速增长和信息技术的进步,数据泄露已成为影响数据可信性和完整性的关键问题。因此,研究数据溯源及其存储安全显得尤为重要。区块链技术作为一种去中心化的分布式账本,在数据溯源及存储安全方面得到了广泛应用。探讨了基于区块链技术的数据溯源与存储安全,采用可检索加密和分布式存储技术实现了数据的加密存储和去重功能,并引入区块链作为可信第三方,确保数据的完整性和可用性。同时,通过引入Merkle山脉数据结构,有效解决了轻节点存储压力的问题,从根本上解决了传统数据存储和溯源系统中存在的可信性和安全性问题。 展开更多

关键词 数据溯源 区块链 安全存储 可信性验证

下载PDF 职称材料

嵌入式故障注入器HFI-4的研究与设计 被引量：6

15

作者 董剑 曲峰 +1 位作者 刘宏伟 崔刚 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2335-2337,共3页

管脚级故障注入是对原型系统进行可信性验证的一种常用的方法 .本文提出了一个基于嵌入式注入方式的管脚级故障注入工具HFI 4的设计方案 ,并重点讨论了设计过程中遇到的方向控制、同步控制、结果回收等几项关键技术的解决方案 .

关键词 嵌入式 故障注入器 方向控制 同步控制 HFI-4 可信性验证 容错系统

下载PDF 职称材料

面向数控装备的多级协同健康管理平台 被引量：1

16

作者 高甜容 于东 岳东峰 《小型微型计算机系统》 CSCD 北大核心 2013年第11期2546-2552,共7页

为有效地解决数控装备在复杂网络制造环境下的协同控制问题,并支持大量异构敏感信息的安全交互,构建了面向数控装备的多级协同健康管理平台.根据数控装备健康管理的需求,划分递阶式健康管理单元,设计一种基于B/S和C/S混合模型的四级协... 为有效地解决数控装备在复杂网络制造环境下的协同控制问题,并支持大量异构敏感信息的安全交互,构建了面向数控装备的多级协同健康管理平台.根据数控装备健康管理的需求,划分递阶式健康管理单元,设计一种基于B/S和C/S混合模型的四级协同控制体系结构.在此基础上重点解决了健康管理功能的分配问题,建立了一套较完整的安全访问控制体系,包括用户可信性验证策略、XML安全视图生成算法和同名节点自修复算法.最后开发原型系统并进行安全访问控制验证. 展开更多

关键词 健康管理 数控装备 安全视图 可信性验证 协同控制

下载PDF 职称材料

网络空间安全可信性测评关键技术研发与应用

17

作者 王丹琛 徐鹏 +2 位作者 王颉 徐扬 冯暄 《中国科技成果》 2021年第22期43-44,76,共3页

网络空间安全可信性测评是保障国家网络空间安全的基础核心手段,其技术先进性事关发展与安全大局,面临测评理论与方法的系统性不足、测评过程可靠性和测评结果准确性不足,以及对电磁威胁的测评方法缺失等难题,研究基于形式化的可信性验... 网络空间安全可信性测评是保障国家网络空间安全的基础核心手段,其技术先进性事关发展与安全大局,面临测评理论与方法的系统性不足、测评过程可靠性和测评结果准确性不足,以及对电磁威胁的测评方法缺失等难题,研究基于形式化的可信性验证方法,研发软件系统可信性测评和电磁信息安全可信性测评的关键技术及应用,从方法、技术、系统等多方位保障关键信息基础设施的网络空间安全。研发的相关成果已应用在电子政务、能源、交通、国防科技工业、金融、公共通信和信息服务等关键信息基础设施,取得良好的经济和社会效益。 展开更多

关键词 可信性验证 软件系统安全 电磁信息安全 可信性测评

原文传递

结构矩阵秩亏的可信验证

18

作者 李喆 刘琦 《系统科学与数学》 CSCD 北大核心 2015年第11期1374-1382,共9页

利用区间算法,研究结构矩阵秩亏的可信性验证.给定具有特殊代数结构且数值秩为k的实矩阵A(p),给出算法输出具有相同代数结构的区间矩阵A(p+W),其每一个位置的元素为矩阵A(p)相应位置的元素的很小的区间摄动,使得区间矩阵A(p+W)中包含一... 利用区间算法,研究结构矩阵秩亏的可信性验证.给定具有特殊代数结构且数值秩为k的实矩阵A(p),给出算法输出具有相同代数结构的区间矩阵A(p+W),其每一个位置的元素为矩阵A(p)相应位置的元素的很小的区间摄动,使得区间矩阵A(p+W)中包含一具有相同代数结构且秩为k的实矩阵A(p+w). 展开更多

关键词 区间算法 结构矩阵 可信性验证 INTLAB.

原文传递

弹载计算机综合测试系统研究 被引量：1

19

作者 吴讯 杨树兴 马媛 《弹箭与制导学报》 CSCD 北大核心 2008年第2期202-204,共3页

为实现对嵌入式弹载计算机系统性能全面的测试与评估,采用硬件在回路仿真的方式,为弹载计算机构造一个接近导弹真实飞行状态下的导航计算、信号传递和实时控制的工作环境。并对综合测试平台组建、实时仿真算法和实时仿真系统可信性验证... 为实现对嵌入式弹载计算机系统性能全面的测试与评估,采用硬件在回路仿真的方式,为弹载计算机构造一个接近导弹真实飞行状态下的导航计算、信号传递和实时控制的工作环境。并对综合测试平台组建、实时仿真算法和实时仿真系统可信性验证技术进行了重点分析。 展开更多

关键词 硬件在回路仿真 实时仿真计算机 实时仿真算法 可信性验证

下载PDF 职称材料

多领域协同的火箭炮高低调炮动力学仿真 被引量：1

20

作者 徐桐 曹立军 马万鹏 《机械设计与制造》 北大核心 2020年第7期278-283,共6页

为研究某火箭炮高低随动装置调炮时的动力学特性,以多体动力学理论为基础,应用ANSYS、ADAMS、EASY5仿真软件建立了高低随动装置刚柔-机电液耦合模型,通过设计软件数据接口实现火箭炮高低调炮多领域协同仿真,并通过对比试验与仿真结果对... 为研究某火箭炮高低随动装置调炮时的动力学特性,以多体动力学理论为基础,应用ANSYS、ADAMS、EASY5仿真软件建立了高低随动装置刚柔-机电液耦合模型,通过设计软件数据接口实现火箭炮高低调炮多领域协同仿真,并通过对比试验与仿真结果对模型进行可信性验证。分析结果表明:建立的刚柔-机电液耦合模型能够真实反映火箭炮高低调炮过程中的动力学响应,验证了多领域协同仿真方法的有效性和实用性,为火箭炮高低随动装置的设计与故障诊断提供了理论参考。 展开更多

关键词 随动装置 高低调炮 动力学 耦合 多领域协同仿真 可信性验证

下载PDF 职称材料