远程证明相关论文
随着科技的发展,量子计算机大规模部署逐渐变为可能,基于部分计算困难问题的公钥密码算法将被量子算法有效求解.传统的可信硬件芯......
近年来,物联网发展迅猛,物联网设备已经走入千家万户,其数量规模呈爆发式增长。然而,物联网设备的普及在带来便利的同时也带来了安......
工业物联网旨在通过工业资源共享、数据互通和系统互操作,最终实现将传统工业提升到智能化的新阶段。然而,工业物联网中智能终端设......
为了使RISC处理器平台具备检测代码重用攻击的能力,本文将硬件辅助控制流完整性技术与可信计算中的动态远程证明相结合,提出了面向......
随着信息技术的飞速发展,桌面计算机系统已经广泛的应用于家庭、公司、政府机关与军队中。桌面计算机系统保存了越来越多对个人和......
P2P技术在网络的快速发展与普及中已成为信息交换的一种主要方式。它是一种基于分布式计算的新型网络架构模型,其设计的主要目标就......
当前云计算作为一项比较流行的信息技术,无论是政府部门还是各大应用厂商,甚至是学术界领域都对它产生了浓厚的兴趣。通俗的讲它可......
随着计算机系统日新月异的发展,软件攻击变得更为自动化和复杂。软件固有的自身缺陷及传统的安全防保方式的被动性已经不足以应付......
学位
当今,随着云计算技术的广泛应用,从政府部门到大型企业,重要业务都已向云端迁移,云计算已经成为保障国计民生的重要技术。凭借敏捷......
随着计算机网络技术的迅猛发展和信息化的日益深入,文件迁移系统被广泛地应用于日常生活和办公过程中,并且经常涉及重要涉密文件的......
随着互联网技术的不断发展,网络安全问题日益突出,近年来如何有效地构建可信网络已成为业界研究和关注的热点之一。然而几乎所有的......
远程证明是可信计算的关键技术之一,可以验证平台身份和配置信息的可信性,而现有远程证明方案存在一定的缺陷.本文在分析现有基于......
互动化是智能电网有别于传统电网的本质特征,而互动化的本质是信息的交互.所以,信息交互是智能电网基础功能实现的重要前提.一方面......
现有远程证明实现方法从度量静态二进制代码、平台配置文件到安全策略监控来衡量目标平台的可信性,但这些方法灵活性和可行性不强,......
针对云计算环境中服务资源跨域访问频繁,安全管理边界模糊,域外陌生资源的访问与调度需要进行身份验证和信任度量.在研究可信计算......
移动智能终端平台集通信、社交、网上购物、娱乐等众多功能于一身,恶意程序对相关服务的破坏可能威胁到用户财产和个人隐私的安全.......
为提高用户接入云计算的安全性,利用可信计算的远程证明机制构建云环境下的可信接入认证模型,提出一种可信接入安全协议.该协议实......
在对现有的远程证明技术进行分析研究的基础上,提出了一种远程证明证据传输的通用方法,该方法利用协议转换代理模块将不同的证明信......
随着物联网的迅速发展,巨量的嵌入式设备广泛应用于现代生活,安全和隐私成为了物联网发展的重要挑战.物联网设备互联构成集群网络,......
TCG规范中的DAA(direct anonymous attestation)方案以CL数字签名(Camenisch and Lysyanskaya signa-ture scheme)为基础,结合了群......
针对现有远程证明技术仅对远程平台进行接入网络前的静态信息验证的局限性,提出了实时监控下的动态远程证明模型(DRAM-RTM)。该模......
远程证明是可信计算领域中亟待突破的重要问题。结合二进制证明和基于属性的证明,应用环签名思想提出了一种简单、高效的匿名远程......
为了解决现有的远程证明方案对于多个安全组件同时证明时效率不高的问题,提出了一个基于多组件签名的远程证明方案,提供了使用属性......
可信计算作为一种信息系统安全新技术，为克服单纯依靠软件安全防范方式的不足提供了新的思路，在平台上通过软硬件结合的方式构建可信......
针对访问的持续性保护问题,使用控制模型可以加强对传统模型的访问控制。已有的使用控制系统研究中,利用可信计算技术保证访问控制......
云计算是一种新兴的计算服务模式,其安全问题已经成为亟待研究的问题。本文将可信计算中的远程证明机制引入云计算中,针对云计算服......
国际可信计算组织（Trusted Computing Group，TCG）所定义的可信计算平台支持远程证明功能，即向一个远程实体证明本地平台的完整性信息，称......
远程证明是可信计算的研究热点。本文分析和比较了国内外在远程证明研究领域提出的三类代表性方法——基于信息流的方法、基于属性......
云计算环境下,服务资源分布广泛、迁移频繁,资源之间的信任关系不易建立与维护。传统的可信计算远程验证方法存在性能瓶颈和计算复......
针对现有TCG组织定义的远程证明机制证明过程复杂和隐私泄漏的不足，通过使用基于双线性映射的BBS’签名算法和属性证书机制代替平台......
传统IPSec协议在建立安全通信连接时,没有考虑终端自身安全问题,而可信计算的远程证明机制就是为被接入方提供接入方的自身安全证......
多媒体社交网络（Multimedia Social Networks,MSN）的出现与快速发展,使用户间的信息交换与共享变得更加便利,而随意分发受版权法律保......
在分布式环境中如何在实体之间建立信任关系一直是信息安全领域研究的热点问题，远程证明为解决该问题提供了一种新的研究方向。远程......
数字版权管理（Digital Rights Management,DRM）系统旨在端到端地保护数字内容的可控使用,然而客户端平台的安全隐患使得数字内容的合......
为了进一步提高平台配置远程证明机制的实用性,针对RAMT（remote attestation based on Merkle hashtree）方案的不足,基于Chameleon哈......
现有的委托授权模型主要侧重于受托方是否具有执行委托任务（权利）的能力,没有考虑到受托方平台的可信性;基于此,提出了多媒体环境下......
为了提高嵌入式平台配置远程证明方案的效率,在基于Merkle哈希树存储结构的基础上,结合程序的局部性原理,考虑平台下程序验证的时......
针对现有的远程证明方案中安全性差、不能反映用户特征的问题，提出了一种基于用户属性的远程证明方案。该方案在证据的可信生成与可......
摘 要：云计算展现出强大的服务能力和存储能力的同时，也不可避免带来了安全问题。可信计算能够从终端和平台的根源解决现有的安全问......
远程证明方法是可信计算理论中一个重要的组成部分，本文追踪该领域的最新发展方向，重点剖析了四大类远程证明模型，并就其优缺点做出了......
可信计算是当前计算机安全领域的研究热点,根据可信计算中远程证明的特性,对可信计算中远程方法进行分析,介绍现有几种比较典型的......
提出一种基于智能卡的可信双向认证方案,使用散列函数认证身份,采用远程证明方法验证平台可信性。该方案支持安全会话密钥协商,支......
远程证明是可信计算的一个重要特征，目的是证明远程平台的身份或配置信息是否可信．常用的二进制证明方法不仅暴露了本地平台的配置信......
摘要：计算机网络远程证明是一个综合完整性校验的身份识别的过程，同时向验证者提供了一份可信平台状态报告。本文设计的基于Merkle散......
远程证明提供了平台身份匿名认证功能，并给出了基于隐私CA及直接匿名认证两种方案。直接匿名认证方案的提出意在解决隐私CA方案中的......
