一个认证协议的串空间模型与分析

作者：余磊; 魏仕民; 王猛; 顾维娜

来源：淮北煤炭师范学院学报(自然科学版), 2010, 31(01): 38-42.

• 串空间模型
• 认证协议
• 认证性
• 保密性

认证性和保密性是认证协议设计的两个关键目标,针对在Needham-Schroeder和Otway-Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标.

• 单位
  淮北煤炭师范学院