摘要
在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).
出处
《中国科学：信息科学》
CSCD
2010年第2期200-215,共16页
Scientia Sinica(Informationis)
基金
国家自然科学基金(批准号:60633020
60573036
60702059
60503012
60872041)
国家高技术研究发展计划资助项目(批准号:2007AA01Z429
2007AA01Z405)
韩国政府科学研究基金(批准号:KRF-2008-521-D00449)资助项目
