通信学报Issue(S2):P.29-36,8.
远程证明安全协议的设计与验证
王丹 1魏进锋 1周晓东1
作者信息
- 1. 北京工业大学计算机学院,北京100124
- 折叠
摘要
关键词
可信计算/远程证明/安全协议/CSP分类
信息技术与安全科学引用本文复制引用
王丹,魏进锋,周晓东..远程证明安全协议的设计与验证[J].通信学报,2009,(S2):P.29-36,8.基金项目
国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311106) ("973"计划)
北京市属市管高等学校人才强教计划资助项目~~ ()