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

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

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

杨杰

Universally Composable Formal Analysis of Sender Non-repudiation Protocol

YANG Jie

计算机工程 . 2009, (20): 128 -130 . DOI: 10.3969/j.issn.1000-3428.2009.20.045