检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

可信终端动态运行环境的可信证据收集代理

软件学报 2012年第8期23卷 2084-2103页

作者：谭良陈菊四川师范大学计算机科学学院四川成都610066 四川省可视化计算与虚拟现实重点实验室(四川师范大学) 四川成都610066 中国科学院计算技术研究所北京100190

可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然较为困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,设计并实现了一个基于可信平台模块(trustcd platform model... 详细信息

可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然较为困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,设计并实现了一个基于可信平台模块(trustcd platform model,简称TPM)的终端动态运行环境可信证据收集代理.该代理的主要功能是收集可信终端内存、进程、磁盘文件、网络端口、策略数据等关键对象的状态信息和操作信息.首先,通过扩展TPM信任传递过程及其度量功能保证该代理的静态可信,利用可信虚拟机监视器(trusted virtual machine monitor,简称TVMM)提供的隔离技术保证该代理动态可信;然后,利用TPM的加密和签名功能保证收集的证据的来源和传输可信;最后,在Windows平台中实现了一个可信证据收集代理原型,并以一个开放的局域网为实验环境来分析可信证据收集代理所获取的终端动态运行环境可信证据以及可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性.

关键词： TPM 运行环境可信证据可信终端代理

在线全文

学校读者我要写书评

暂无评论

一种可信终端运行环境远程证明方案

软件学报 2014年第6期25卷 1273-1290页

作者：谭良陈菊四川师范大学计算机学院四川成都610068 中国科学院计算技术研究所北京100190

可信终端的远程证明无论是基于二进制的证明方案还是基于属性的证明方案,针对的均是终端的静态环境,反映的是终端的软件配置结构,并不能证明终端运行环境的真正可信.针对这一问题,提出了一种终端可信环境远程证明方案.针对静态环境,该... 详细信息

可信终端的远程证明无论是基于二进制的证明方案还是基于属性的证明方案,针对的均是终端的静态环境,反映的是终端的软件配置结构,并不能证明终端运行环境的真正可信.针对这一问题,提出了一种终端可信环境远程证明方案.针对静态环境,该方案考虑了满足可信平台规范的信任链以及相关软件配置的可信属性证明;针对动态环境,该方案考虑了终端行为的可信属性证明.并分别给出了信任链、平台软件配置和终端行为等属性证明的可信性判定策略和算法,以及终端运行环境远程证明的综合性判定策略和算法.另外,在Windows平台上,设计和实现了该方案中的两个核心实体:证明代理和验证代理,并设计了证明代理和验证代理之间的通信协议.最后,介绍了该方案在Windows平台上的一个典型应用案例以及证明代理在该应用实例中的性能开销.应用实例验证了该方案的可行性.

关键词：可信计算远程证明属性证明终端行为证明代理验证代理

基于Duplication Authority的TPM2.0密钥迁移协议

在线全文

学校读者我要写书评

暂无评论

软件学报 2019年第8期30卷 2287-2313页

作者：谭良宋敏四川师范大学计算机科学学院四川成都610101 中国科学院计算技术研究所北京100190

《TPM-Rev-2.0-Part-1-Architecture-01.38》国际标准允许用户基于密钥复制接口设计迁移协议,此复制接口通过innerwrap和outerwrap为密钥迁移提供机密性、完整性和认证性.但研究发现,基于该复制接口来设计密钥迁移协议存在3个问题:其一... 详细信息

《TPM-Rev-2.0-Part-1-Architecture-01.38》国际标准允许用户基于密钥复制接口设计迁移协议,此复制接口通过innerwrap和outerwrap为密钥迁移提供机密性、完整性和认证性.但研究发现,基于该复制接口来设计密钥迁移协议存在3个问题:其一是缺少交互双方TPM的相互认证,会导致密钥能够在敌手和TPM间迁移;其二是当迁移密钥的属性encryptedDuplication=0且新父密钥的句柄newParentHandle=TPM_RH_NULL时,复制接口不能实施innerwrap和outerwrap,迁移密钥将以明文传输而造成泄露;其三当新父密钥是对称密钥时,innerwrap中的对称加密密钥以及outerwrap中的密钥种子如何在源TPM与目标TPM之间安全交换,《TPM-Rev-2.0-Part-1-Architecture-01.38》并没有给出具体的解决办法.针对上述问题,提出了基于Duplication Authority的密钥迁移协议.该协议以Duplication Authority为认证和控制中心,将密钥迁移过程分为初始化阶段、认证和属性获取阶段以及控制和执行阶段.Duplication Authority通过判定密钥的复制属性和类型、新父密钥的密钥类型和句柄类型来决定迁移流程.考虑了各种合理的属性组合,共设计了12种迁移流程.最后对该协议进行了安全分析和实验验证,结果显示,该协议不仅完全满足《TPM-Rev-2.0-Part-1-Architecture-01.38》规范,而且可以保证迁移密钥的完整性、机密性和认证性.

关键词：可信计算可信平台模块密钥层次结构密钥复制密钥迁移

在线全文

学校读者我要写书评

暂无评论

超交联微孔聚合物研究进展

化学学报 2015年第6期73卷 530-540页

作者：谭良骁谭必恩华中科技大学化学与化工学院武汉430074

超交联微孔聚合物是一类重要的多孔聚合物材料,由于其具有高比表面积、合成条件温和、单体来源广泛等优点而成为研究的热点.根据不同阶段合成方法的差异,超交联聚合物主要由以下三种方法制备得到:(1)含官能团聚合物前体的后交联;(2)功... 详细信息

超交联微孔聚合物是一类重要的多孔聚合物材料,由于其具有高比表面积、合成条件温和、单体来源广泛等优点而成为研究的热点.根据不同阶段合成方法的差异,超交联聚合物主要由以下三种方法制备得到:(1)含官能团聚合物前体的后交联;(2)功能化小分子单体的一步法自缩聚;(3)通过外交联剂"编织"刚性的芳香族单体.本文介绍了超交联聚合物的发展过程,着重对三种合成超交联聚合物的方法、同时对微孔聚合物微观形貌的控制以及其在气体储存、分离、催化等方面的应用进行了总结.最后提出了超交联聚合物的缺陷和所面临的挑战,并对未来超交联微孔聚合物的发展前景进行了展望,指明了超交联聚合物发展的新方向.

关键词：微孔超交联聚合物后交联自缩合外交联

在线全文

学校读者我要写书评

暂无评论

一种TPM2.0密钥迁移协议及安全分析

电子学报 2019年第7期47卷 1449-1464页

作者：宋敏谭良四川师范大学计算机科学学院四川成都610101 中国科学院计算技术研究所北京100190

国际规范《TPM-Rev-2.0-Part-1-Architecture-01.38》允许用户基于密钥复制接口来设计密钥迁移协议以实现芯片间密钥的共享,并在复制过程中通过innerwrap和outerwrap为复制密钥提供机密性、完整性和认证性.然而通过分析发现基于密钥复... 详细信息

国际规范《TPM-Rev-2.0-Part-1-Architecture-01.38》允许用户基于密钥复制接口来设计密钥迁移协议以实现芯片间密钥的共享,并在复制过程中通过innerwrap和outerwrap为复制密钥提供机密性、完整性和认证性.然而通过分析发现基于密钥复制接口设计的密钥迁移协议存在三个问题:(1)缺少交互双方TPM的相互认证,会导致密钥能够在敌手和TPM间迁移;(2)当复制密钥的属性encryptedDuplication=0且新父密钥的句柄newParentHandle=TPM_RH_NULL时,复制接口不能实施innerwrap和outerwrap,复制密钥将以明文传输而造成泄露;(3)当新父密钥是对称密钥时,innerwrap中的对称加密密钥以及outerwrap中的密钥种子如何在源TPM与目标TPM之间安全交换,《TPM-Rev-2.0-Part-1-Architecture-01.38》并没有给出具体的解决办法.不仅如此,该协议流程还非常复杂,也无法统一,容易导致复制密钥泄露.针对以上问题,本文提出了基于MAK(Migrate Authentication Key)和复制接口的新密钥迁移协议—MDKMP(Make Duplication Key Migration Protocol).首先在TPM中的SRK下新增只用于TPM密钥迁移的非对称密钥MAK,并申请相应证书—TPM迁移认证证书;然后基于MAK证书和复制接口设计新的TPM密钥迁移协议MD***采用两阶段迁移模式,第一阶段将源TPM密钥迁移到目的TPM的MAK下,第二阶段再将密钥迁移到新父密钥下.

关键词：可信计算 TPM2.0 迁移证书密钥复制密钥迁移

在线全文

学校读者我要写书评

暂无评论

优化尤度分类指数表的双增算法

应用概率统计 1991年第3期7卷 323-328页

作者：谭良北京市计算中心

本文提出对尤度判别(最大似然判别)指数表进行优化的一种简便方法——“双增计算法”。用该算法,指数表的判别符合率可随因素个数的增加而逐步提高,且最终可选到接近甚至达到最高判别符合率的因素组合及其指数表。本文还通过若干应用实... 详细信息

本文提出对尤度判别(最大似然判别)指数表进行优化的一种简便方法——“双增计算法”。用该算法,指数表的判别符合率可随因素个数的增加而逐步提高,且最终可选到接近甚至达到最高判别符合率的因素组合及其指数表。本文还通过若干应用实例说明该算法具有简便易行、计算量小、效果好等优点。

关键词：尤度判别指数表双增计算法优化

在线全文

学校读者我要写书评

暂无评论

云环境中可信虚拟平台的远程证明方案研究

软件学报 2018年第9期29卷 2874-2895页

作者：胡玲碧谭良四川师范大学计算机科学学院四川成都610068 中国科学院计算机技术研究所北京100190

云环境中如何证明虚拟平台的可信,是值得研究的问题.由于云环境中虚拟平台包括运行于物理平台上的虚拟机管理器和虚拟机,它们是不同的逻辑运行实体,具有层次性和动态性,因此,现有的可信终端远程证明方案,包括隐私CA(privacy certificati... 详细信息

云环境中如何证明虚拟平台的可信,是值得研究的问题.由于云环境中虚拟平台包括运行于物理平台上的虚拟机管理器和虚拟机,它们是不同的逻辑运行实体,具有层次性和动态性,因此,现有的可信终端远程证明方案,包括隐私CA(privacy certification authority,简称PCA)方案和直接匿名证明(direct anonymous attestation,简称DAA)方案,都并不能直接用于可信虚拟平台.而TCG发布的Virtualized Trusted Platform Architecture Specification 1.0版中,可信虚拟平台的远程证明方案仅仅是个框架,并没有具体实施方案.为此,提出了一种自顶向下的可信虚拟平台远程证明实施方案——TVP-PCA.该方案是在虚拟机中设置一个认证代理,在虚拟机管理器中新增一个认证服务,挑战方首先通过顶层的认证代理证明虚拟机环境可信,然后通过底层的认证服务证明运行于物理平台上的虚拟机管理器可信,顶层和底层证明合起来确保了整个虚拟平台的可信,有效解决了顶层证明和底层证明的同一性问题.实验结果表明,该方案不仅能够证明虚拟机的可信,而且还能证明虚拟机管理器和物理平台的可信,因而证明了云环境中的虚拟平台是真正可信的.

关键词：可信计算可信虚拟平台远程证明可信云环境

XSSRA/ADL:一种基于XML的安全需求体系结构描述语言

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2007年第5期44卷 737-747页

作者：谭良周明天电子科技大学计算机科学与工程学院四川师范大学四川省软件重点实验室成都610066

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结... 详细信息

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难.提出了一种基于XML的安全需求体系结构描述语言——XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系.另外,XSSRA/ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化.

关键词：安全需求体系结构描述语言安全构件半安全构件安全连接件半安全连接件

在线全文

学校读者我要写书评

暂无评论

高大空间恒温空调气流组织设计方法研究

暖通空调 2002年第2期32卷 1-4页

作者：谭良才陈沛霖同济大学

提出了一套通用的高大空间恒温空调气流组织设计方法 :在气流组织初步计算的基础上 ,用数值分析的方法得到最优的设计方案 ,并用模型实验进行验证或修正。该方法用于某高大空间实验室证明是可行的。研究同时发现 ,室内的温度场和速度场... 详细信息

提出了一套通用的高大空间恒温空调气流组织设计方法 :在气流组织初步计算的基础上 ,用数值分析的方法得到最优的设计方案 ,并用模型实验进行验证或修正。该方法用于某高大空间实验室证明是可行的。研究同时发现 ,室内的温度场和速度场同时受到冷射流和热源的影响 ,因此以往单纯用射流理论进行的气流组织实际计算结果不能直接应用于精度要求较高的恒温空调系统中。

关键词：高大空间恒温空调气流组织数值分析模型实验