检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

吉林大学学报（理学版） 2014年第3期52卷 465-469页

作者：李喆尹伟石杨华长春理工大学理学院长春130022

利用区间算法研究结构矩阵秩亏为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的可信性验证可以应用到多项式因式分解的可信性计算中.

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

在线全文

学校读者我要写书评

暂无评论

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

吉林大学学报（理学版） 2017年第5期55卷 1135-1140页

作者：桑海风李敏刘畔畔李庆春北华大学数学与统计学院吉林吉林132013

考虑矩阵方程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).

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

在线全文

学校读者我要写书评

暂无评论

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

吉林大学学报（理学版） 2013年第6期51卷 1101-1103页

作者：李喆周蕊长春理工大学理学院长春130022

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

计算机科学与探索 2012年第5期6卷 419-429页

作者：王丹常建生赵文兵北京工业大学计算机学院北京100124

为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为... 详细信息

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

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

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

在线全文

学校读者我要写书评

暂无评论

山东理工大学学报（自然科学版） 2017年第6期31卷 6-11页

作者：王凤英张方张伟山东理工大学计算机科学与技术学院山东淄博255049

面对医疗健康大数据,使用者或决策者难以判定其来源及是否可信.为了得到可信的数据,需要知道它的安全起源,同时确保数据起源的安全.针对上述问题,提出了基于W3CPROV的安全数据起源模型PROV-S,研究安全起源关系图中的各种标注对象,定义... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

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

计算机与数字工程 2022年第10期50卷 2240-2245,2316页

作者：毛明扬徐胜超广州华商学院数据科学学院广州511300

提出一种可信性验证算法用于验证云平台运行环境的可行性与安全性。云平台IaaS层利用基于漏洞特征信息流跟踪与关键过程重构的固件安全性验证方法,挖掘固件漏洞,通过侧信道分析方法检测硬件基础设施是否存在泄露用户数据风险;云平台Paa... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

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

软件学报 2014年第3期25卷 662-674页

作者：刘川意林杰唐博北京邮电大学软件学院北京100876 可信分布式计算与服务教育部重点实验室(北京邮电大学) 北京100876 北京邮电大学计算机学院北京100876 中国邮政储蓄银行信息科技建设部北京100808

如何为用户提供一个可证明、可验证的可信运行环境,是云计算模式面临的重要问题.提出一种动态的用户运行环境可信性验证机制TCEE(trusted cloud execution environment).通过扩展现有可信链,将可信传递到用户虚拟机内部,并周期性地对用... 详细信息

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

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