安全协议关联性分析

提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同时完成对一些数据例如会话密钥等的协商.依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand的存在关系和Strand参数一致性的分析问题.

Analysis of correspondence property for security protocols

Cryptographic protocol was specified as the procedure of challenge and response using cryptography, not only to confirm the existence of other principals but also to negotiate about some data such as session keys. Applying the idea and some authentication logic results, a new efficient method that provided SSM semantics-based definition of authentication goal was proposed, which summed up correspondence analysis as the analysis of the existence relationship of strands and the consistence of strand parameters.