不可否认协议分析的扩展ZQZ逻辑方法*
韩志耕, 石青山, 杨鹏, 陈耿, 范远哲
不可否认协议分析的扩展ZQZ逻辑方法*
Extended ZQZ Logic Method for Analysis of Non-repudiation Protocols
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |