在实际应用中停等式arq协议的行呢个参数是如何获取的

来源：蜘蛛抓取(WebSpider) 时间：2018-11-13 10:52 标签： 停等式arq协议

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


支持CAJ、PDF文件格式仅支持PDF格式


郝身刚;张丽;;[J];计算机工程与应用;2012年10期
吴昌;肖美华;;[J];计算机工程与应用;2008年05期
杨晋吉;苏开乐;肖茵茵;李超明;;[J];小型微型计算机系统;2010年08期
高春雨;朱学永;;[J];网络安全技术与應用;2009年05期
张银丹;张浩军;;[J];计算机与数字工程;2010年07期
刘芳;魏昭;董荣胜;;[J];广西科学院学报;2008年04期
中国重要会议论文全文数据库
孙守卿;李廉;章超;李彩虹;;[A];2005年铨国理论计算机科学学术年会论文集[C];2005年
刘芳;魏昭;董荣胜;;[A];广西计算机学会2008年年会论文集[C];2008年
中国硕士学位论文全文数据库

我要回帖

更多关于 停等式arq协议 的文章

 

随机推荐