计算机工程2009，Vol.35Issue(20)：128-130,3.
发送者非否认协议的UC形式化分析
Universally Composable Formal Analysis of Sender Non-repudiation Protocol
摘要
关键词
非否认协议/发送者非否认性/形式化分析/UCSA框架分类
信息技术与安全科学引用本文复制引用
杨杰..发送者非否认协议的UC形式化分析[J].计算机工程,2009,35(20):128-130,3.基金项目
国家"973"计划基金资助项目(2003CB317005) （2003CB317005）
国家自然科学基金资助项目(60573002, 60703033) （60573002, 60703033）
