NSPK协议的Promela语言建模及分析

摘要：

重点提出了对NSPK协议进行建模设计的思想和方法,阐述了如何用Promela语言实现模型的关键技术.使用Spin对该模型进行行为模拟和属性校验,结果既能保证协议的正常执行,也能帮助发现安全缺陷.

关键词：SPIN、Promela、NSPK、建模

所属期刊栏目：29

分类号：TN915.04

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

页数：共5页

页码：52-55,59