一种可靠的多方不可否认协议的逻辑分析方法 (Reliable Logic Analysis Method of Multi-party Non-repudiation Protocol). - Boao Yuan; Jun Liu (计算机科学, 2018)