安全协议系统安全属性定量计算方法

摘要：

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

关键词：安全协议系统、定量计算、安全属性、SMRP

所属期刊栏目：27

分类号：TP393.04(计算技术、计算机技术)

资助基金：广西研究生教育创新资助项目2007105950812M16

在线出版日期：2008-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：487-490