论文部分内容阅读
为了分析三元对等鉴别( Trie-element Peer Authentication,TePA)机制的安全性,利用串空间模型( Strand Space Mod-el,SSM)对TePA机制进行分析。通过分析可知,TePA机制在一些情形下虽未能达到完全的认证一致性,但仍然安全,所以TePA机制在SSM下是安全的。此外,提出针对TePA机制的2种改进措施,使得改进后的TePA机制能达到完全的认证一致性。