跨域基于口令认证的密钥交换协议的安全模型

从形式化处理的角度出发,首先分析了跨域C2C-PAKE协议应该具有的安全属性,然后给出了一个适合于跨域C2C-PAKE协议的安全模型,并推广了单服务器C2C-PAKE协议的通用协议,进而给出了一个跨域C2C-PAKE协议的通用构造,并在新的模型中证明了其安全性。

基于HDMI的高带宽数字内容保护技术原理与运用

介绍高带宽数字内容保护(High-bandwidth Digital Content Protection,HDCP)的技术原理和协议流程,详细解析HDCP技术在高清晰度多媒体接口(High Definition Multimedia Interface,HDMI)中的应用及其存在的问题,旨在为测试工作的有效开展和问题的定位提供帮助。