停等式ARQ协议的SPIN模型检测

介绍停等式ARQ协议的工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式ARQ协议的性质。讨论对停等式ARQ协议进行攻击的方法,使用Promela语言对攻击者进行建模,并利用SPIN的图形界面工具XSPIN模拟了攻击过程,验证了攻击的有效性。     

无线传感器网络的SPIN协议研究

无线传感器网络是计算机科学技术的一个新的研究领域，是传感器技术、嵌入式计算技术、分布式信息处理技术和无线通信技术相结合的产物，具有广阔的理论研究和应用前景。本文对一种无线传感器网络路由协议SPIN-PP作了分析，并针对无线传感器网络的特点对其进行了一些改进工作，经NS2上的仿真结果表明这是一种有效的改进方案。