可信验证相关论文
针对需求变动频率高、前后差异变化大、交付质量要求高的研制特点，提出了一种对功能需求变化具有较好适应性、并能获得较高可信性产......
可信计算是科学工程计算中的重要问题.而可信验证是其中一类基本问题.本文主要讨论非线性系统奇异解的可信验证与半实验点集的消逝......
当今社会,信息技术高度发达,数据安全的重要性日益受到重视。对数据机密性的保护涉及数据的产生、传递、处理、存储等各个环节,单......
随着万物互联时代的到来,数据价值越发重要,随之而来的对物联网中多方信任、数据安全可信、终端身份验证等问题提出了新的要求。将......
在高风险领域的应用问题中,计算结果的准确性是至关重要的.但是计算结果的准确性时常因为计算误差的积累以及实数有限精度的限制受......
随着工业物联网逐步走向成熟,数据成为整个生产流程中的关键因素。数据驱动的工业系统从终端和其他业务系统收集数据,加以分析和优......
缺陷和漏洞广泛存在于各种软件中,难以避免,由其引发的故障很容易给生命财产带来损害,甚至灾难性后果。应对这一问题的有效途径是......
在高风险应用领域中,计算结果的准确性十分重要.但由于计算误差积累与实数有限精度表示等原因,计算结果的准确性经常会受到影响,在......
在许多高风险的应用问题中,计算结果的准确性是十分必要的.但是,由于实数精度的限制,计算误差的累积,经常会影响计算结果的精准确......
当今,随着云计算技术的广泛应用,从政府部门到大型企业,重要业务都已向云端迁移,云计算已经成为保障国计民生的重要技术。凭借敏捷......
在IaaS云模式中,企业或机构从IaaS云提供商申请的虚拟IT基础设施构成租户网络(Tenant Network,TN)。为了隔离TN,软件定义网络(Soft......
科技的迅猛发展提高了对计算结果的准确性要求,原始数据误差、实数的有限精度表示、误差积累等问题使得计算不准确性无处不在.在飞......
文章主要研究反对称矩阵谱的可信计算.给定反对称矩阵,分别利用Rump区间牛顿法和Kantorovich定理,设计算法输出其高精度近似谱和可......
为在需求分析阶段验证软件是否满足非功能质量要求,提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精......
功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和......
随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效......
考虑欠定非线性系统极小二范数解的可信验证问题.欠定非线性系统的极小二范数解为解向量二范数的极小值点,对给定的欠定非线性系统......
保证登录用户身份的真实是保证计算平台“值得信任”的前提。基于PAM的身份认证技术与外部认证实体相结合，提出了基于PAM的双因素身......
可信计算技术在提高系统安全性的同时,也给用户使用计算机带来了诸多限制。为了解决自由软件等未授权程序的可信验证问题,提出了一......
针对目前访问控制模型在系统的安全实现方面存在的不足，在RABC的基础上，提出了可信操作环境下基于可信验证的DBMS访问控制模型．该模型......
结合目前卫生健康行业护士执业资格考试对电子合格证安全可信、统一险证方面的需求,在分析现状与存在问题的基础上,从系统功能、实......
针对云计算定制和交付两个出入口的安全问题,提出一种以可信云安全计算为支撑,基于传统密码学数字签名技术,设计了以生物指纹特征......
传统的数学证明是用纸和笔来完成的,而随着计算机技术的发展,一些问题的数学证明已经可以利用计算机来完成.可信验证正是利用计算......
随着病毒，木马等危害的日益严峻，可信逐渐成为计算机系统安全的重要标志。由于可信的定义不统一，可信的内涵和相关理论研究还比较落后......
随着信息技术的快速发展,电子签章作为数字办公系统的一种重要工具,应用范围越来越大,涉及的行业越来越广。当前电子签章的规范性......
<正>当前,网络空间已经成为继陆、海、空、天之后的第五大主权领域空间。网络安全是国际战略在军事领域的演进,对我国网络安全提出......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
网络社区舆情数据通常是人们所关注的热点事件以及对这些事件的观点和评论的数据,通过分析网络社区数据,不仅可以及时掌握到基础群......
计算机系统安全的研究是一个渐进的过程,人们不可能追求绝对的安全,而只能期望越来越可靠的安全。随着计算机系统、尤其是端系统中......
