基于简单随机抽样的大数据可信性验证方法

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

一类矩阵方程中心对称解的可信性验证

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

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

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

层次化行为可信性验证

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

使用Pi演算的构件交互可信性验证模型

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

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

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

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

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

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

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

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

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

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

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

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

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

非线性方程组重根的可信验证方法

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

网格服务中虚拟计算环境的可信保证机制

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

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

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

嵌入式故障注入器HFI-4的研究与设计

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

面向数控装备的多级协同健康管理平台

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

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

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

结构矩阵秩亏的可信验证

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

弹载计算机综合测试系统研究

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

多领域协同的火箭炮高低调炮动力学仿真

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