【摘要】:介绍停等式arq协议协议嘚工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式arq协议协议的性质讨论对停等式arq协议协议进行攻击的方法,使用Promela语言对攻击者进行建模,并利用SPIN的图形界面工具XSPIN模拟了攻击过程,验证了攻击的有效性。
支持CAJ、PDF文件格式仅支持PDF格式
|
||||||||||
|
|
||
|
|
||||||||||
|
版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。