论文部分内容阅读
定量分析安全协议系统是保证协议安全的必要环节。根据建立的安全协议系统的SMRP模型，给出了安全协议系统安全属性的计算方法，并从攻击者的角度讨论其累积报酬计算问题，通过NS协议（公钥协议）实例给出了分析过程，很好地解释了以NS协议为基础的安全协议系统未产生重大损失的原因。结果表明，SMRP模型可以较好地定量分析安全协议系统。