通用可组合的可信网络连接模型和IF-T中的EAP-TNC协议

• 作者: 张俊伟 文相在 马建峰
• 来源期刊: 中国科学(信息科学)
• 学科: 工学
• 关键词: 网络安全 通用可组合 可信网络连接
• 年，卷（期）: 2010,（2）
• 页码范围: 200-215
• 页数: 16页
• 分类号: TP393.08
• 语种: 中文

摘要

在UC框架下,研究了可信网络连接(TNC)协议.首先,设计了TNC理想函数F_(TNC),EAP认证理想函数F_(EAP)以及EAP-TNC理想函数F_(E-PA),构造了通用可组合的可信网络连接安全模型.其次,在(F_(EAP),F_(E-PA))-混合模型下提出了通用可组合安全的TNC协议TK-TNC.然后,通过安全性分析,得出D-H PN协议不能实现理想函数F_(E-PA).最后,使用Twin DH交换技术设计了TD-H PN协议.通过证明分析,结果表明TK-TNC在(F_(EAP),F_(E-PA))-混合模型下安全实现F_(TNC);基于CDH假设,TD-H PN可以在(F_(REG),F_(CERT))-混合模型下安全实现F_(E-PA).