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

作者：杨杰

来源：计算机工程, 2009, (20): 128-130.

• 非否认协议
• 发送者非否认性
• 形式化分析
• UCSA框架 non-repudiation protocol
• sender non-repudiation
• formal analysis
• Universally Composable Symbolic Analysis(UCSA) framework

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

• 出版日期2009
• 单位上海交通大学