摘要
提出安全协议本质上是协议主体利用密码学手段通过挑战-响应来对协议另一方的存在做出判断,并同时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand的存在关系和Strand参数一致性的分析问题。
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.
出处
《通信学报》
EI
CSCD
北大核心
2006年第7期39-45,52,共8页
Journal on Communications
基金
国家自然科学基金资助项目(90412014)~~
关键词
网络安全
协议分析
挑战-响应
线空间模型
network security
protocol analysis
challenge-response
strand space model
