发送者非否认协议的UC形式化分析

• 作者: 杨杰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 非否认协议 发送者非否认性 形式化分析 UCSA框架
• 年，卷（期）: 2009,（20）
• 所属期刊栏目: 安全技术
• 页码范围: 128-130
• 页数: 3页
• 分类号: TP393.08
• 字数: 4262字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.20.045

摘要

UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架.在前人的基础上继续扩展UCSA框架的适用范围.为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列和构造模拟进程的方法分析两者在UCSA框架下的可靠性和完备性.结果表明两者在UCSA框架下是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨杰	上海交通大学电子信息与电气工程学院	340	5370	35.0	58.0