N—S协议相关硕士博士期刊学术论文

针对缪祥华提出的改进的Needham—Schroeder协议，利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性，包括响......