物联网环境下UC安全的组证明RFID协议

物联网的安全和隐私保护问题是制约其进一步发展的关键性问题,如何设计一个安全、高效的组证明RFID协议是物联网安全需要重点研究的一个问题.首先,文中对物联网环境下组证明RFID协议的交互模型和攻击模型做了分析和描述.然后,在通用可组合安全框架下,形式化定义了理想功能FVS和RFID组证明理想功能FGP.最后,在FVS-混合模型下,设计了组证明RFID协议πGP,并证明对于任意的攻击者而言,协议πGP能安全实现理想功能FGP.根据组合定理表明新的组证明RFID协议具有通用可组合安全性.

面向云计算模式动态可信平台模块研究

在当前云计算模式下，云服务器并不能向客户证明其充分可信，也不能自我证明其自己的安全性，为了增强云服务器的可信性，该文提出了一种面向云计算模式的动态可信平台模块构造方法，在可信平台模块的基础上，使用虚拟隔离技术构建动态虚拟可信平台模块（Dynamicvirtual Trusted Platf。rmModule：DVTPM），实现信任链在虚拟机中的延伸，虚拟机可以有效地利用TPM提供的相关功能，从而达到提高云服务器可信性，保护客户数据的目的，同时使用通用可组合协议分析方法论述了该模型的安全性，并且在XEN平台下构建了云计算模式下动态虚拟可信平台模块构。