论文部分内容阅读
研究了Denning—Sacco密钥分配协议，指出了该协议存在的缺陷和漏洞，并给出了两种攻击该协议的方法，一种是重放攻击，另一种是拦截攻击．虽然一些学者对该协议进行了修改，但是仍然存在缺陷和漏洞．针对原始协议存在的缺陷和漏洞，该文在原来协议的基础上，增加了一条消息，并用串空间模型来分析了修改后的协议，说明修改后的协议能够达到协议的目标．