远程证明相关论文
随着科技的发展,量子计算机大规模部署逐渐变为可能,基于部分计算困难问题的公钥密码算法将被量子算法有效求解.传统的可信硬件芯......
近年来,物联网发展迅猛,物联网设备已经走入千家万户,其数量规模呈爆发式增长。然而,物联网设备的普及在带来便利的同时也带来了安......
工业物联网旨在通过工业资源共享、数据互通和系统互操作,最终实现将传统工业提升到智能化的新阶段。然而,工业物联网中智能终端设......
云计算的虚拟化、跨平台、多租户等特点,使得云安全问题日益突出,用户无法保证上传资料的安全。本文拟基于文件访问行为检测方法,......
结合可信计算与安全协议技术,设计了基于代理的属性远程证明协议,并应用串空间理论进行分析与证明.在公钥基础设施框架下,由可信第......
现有的远程证明模型和协议具有基于二进制代码、平台属性或软件语义的度量模式，并大多仅支持验证双方的平台证明，不能从本质上解决远......
容器技术是一种轻量级的操作系统虚拟化技术,被广泛应用于云计算环境,是云计算领域的研究热点,其安全性备受关注。提出了一种采用......
为了使RISC处理器平台具备检测代码重用攻击的能力,本文将硬件辅助控制流完整性技术与可信计算中的动态远程证明相结合,提出了面向......
为了解决使用直接匿名证明方法进行远程证明易受伪装攻击的问题,提出了一种基于直接匿名证明和安全传输层协议(TLS)的匿名远程证明......
本文针对安全操作系统开发和安全操作系统网络适应性方面涉及的关键问题进行研究。从信息系统整体来看，安全操作系统是解决各种安全......
随着Internet的快速发展，越来越多的软件运行在开放、动态、多变的网络环境下，软件的形态也在不断演化，这使得针对运行时软件的信任管......
近年来，随着移动智能终端的普及和移动互联网的飞速发展，移动智能终端逐渐取代传统计算机平台成为人们的主要计算平台，渗透到人们生活......
随着信息技术的飞速发展,桌面计算机系统已经广泛的应用于家庭、公司、政府机关与军队中。桌面计算机系统保存了越来越多对个人和......
当前云计算作为一项比较流行的信息技术,无论是政府部门还是各大应用厂商,甚至是学术界领域都对它产生了浓厚的兴趣。通俗的讲它可......
随着计算机系统日新月异的发展,软件攻击变得更为自动化和复杂。软件固有的自身缺陷及传统的安全防保方式的被动性已经不足以应付......
学位
云服务是指以云计算平台为依托,通过网络向用户提供按需分配、按量计费的IT服务。由于近年来云安全事故频发,故而引发了用户对云服......
当今,随着云计算技术的广泛应用,从政府部门到大型企业,重要业务都已向云端迁移,云计算已经成为保障国计民生的重要技术。凭借敏捷......
传统IPSec协议在建立安全通信连接时,没有考虑终端自身安全问题,而可信计算的远程证明机制就是为被接入方提供接入方的自身安全证......
在云环境下的服务资源分布广泛、迁移频繁,资源之间的信任关系不易建立与维护。通过研究云服务资源信任验证方法,解决传统的可信计......
针对远程证明中匿名性保护和PrivacyCA可能成为性能瓶颈的问题,提出了一种基于一次性AIK公钥的远程证明方案.该方案中PrivacyCA为T......
可信计算平台配置更新过程中,TPM基于日志配置表示的方法无法正确反映平台状态,因此我们提出了一种基于杂凑树的配置表示、更......
对远程结点的信任问题是当前网络安全研究的热点。针对现有信任管理模型的不足，借鉴主观逻辑信任模型信任不确定性、模糊性的思......
在现有的应用环境体系结构中，应用之间没有明确的界限，他们可以共享资源、相互通信、彼此调用，这样的体系结构给病毒、木马等恶意程序......
提出将标准模型下基于l-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于Fiat-Shamir启发式设计思想,完成了协议知识签名的数学......
随着计算机网络技术的迅猛发展和信息化的日益深入,文件迁移系统被广泛地应用于日常生活和办公过程中,并且经常涉及重要涉密文件的......
随着互联网技术的不断发展,网络安全问题日益突出,近年来如何有效地构建可信网络已成为业界研究和关注的热点之一。然而几乎所有的......
基于二进制的远程证明方案虽然简单且容易实现,但存在泄露用户隐私、高安全业务接入复杂等缺点;基于属性的远程证明方案尽管能解决......
远程证明是可信计算的关键技术之一,可以验证平台身份和配置信息的可信性,而现有远程证明方案存在一定的缺陷.本文在分析现有基于......
Beth、Jφsang和EigenRep等信任模型基于交互历史和声誉等来评价对客体的信任程度,也有作者将模糊理论、云模型引入主观信任管理研......
现有远程证明实现方法从度量静态二进制代码、平台配置文件到安全策略监控来衡量目标平台的可信性,但这些方法灵活性和可行性不强,......
针对云计算环境中服务资源跨域访问频繁,安全管理边界模糊,域外陌生资源的访问与调度需要进行身份验证和信任度量.在研究可信计算......
移动智能终端平台集通信、社交、网上购物、娱乐等众多功能于一身,恶意程序对相关服务的破坏可能威胁到用户财产和个人隐私的安全.......
为提高用户接入云计算的安全性,利用可信计算的远程证明机制构建云环境下的可信接入认证模型,提出一种可信接入安全协议.该协议实......
在对现有的远程证明技术进行分析研究的基础上,提出了一种远程证明证据传输的通用方法,该方法利用协议转换代理模块将不同的证明信......
随着物联网的迅速发展,巨量的嵌入式设备广泛应用于现代生活,安全和隐私成为了物联网发展的重要挑战.物联网设备互联构成集群网络,......
TCG规范中的DAA(direct anonymous attestation)方案以CL数字签名(Camenisch and Lysyanskaya signa-ture scheme)为基础,结合了群......
针对现有远程证明技术仅对远程平台进行接入网络前的静态信息验证的局限性,提出了实时监控下的动态远程证明模型(DRAM-RTM)。该模......
远程证明是可信计算领域中亟待突破的重要问题。结合二进制证明和基于属性的证明,应用环签名思想提出了一种简单、高效的匿名远程......
为了解决现有的远程证明方案对于多个安全组件同时证明时效率不高的问题,提出了一个基于多组件签名的远程证明方案,提供了使用属性......
可信计算作为一种信息系统安全新技术，为克服单纯依靠软件安全防范方式的不足提供了新的思路，在平台上通过软硬件结合的方式构建可信......
针对访问的持续性保护问题,使用控制模型可以加强对传统模型的访问控制。已有的使用控制系统研究中,利用可信计算技术保证访问控制......
云计算是一种新兴的计算服务模式,其安全问题已经成为亟待研究的问题。本文将可信计算中的远程证明机制引入云计算中,针对云计算服......
国际可信计算组织（Trusted Computing Group，TCG）所定义的可信计算平台支持远程证明功能，即向一个远程实体证明本地平台的完整性信息，称......
远程证明是可信计算的研究热点。本文分析和比较了国内外在远程证明研究领域提出的三类代表性方法——基于信息流的方法、基于属性......
