%0 Journal Article
%T 基于L-π演算的WSN路由协议形式化方法
%A 冯晓宁
%A 王卓
%A 张旭
%J 吉林大学学报(工学版)
%P 1565-1571
%D 2015
%X 针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。
%K 计算机软件
%K 无线传感器网络
%K 路由协议
%K 形式化方法
%K L-π
%K 演算
%U http://xuebao.jlu.edu.cn/gxb/CN/Y2015/V45/I5/1565