作者：黄丽丽停等式arqspinpromela模型检测
摘要：介绍停等式ARQ协议的工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式ARQ协议的性质。讨论对停等式ARQ协议进行攻击的方法,使用Promela语言对攻击者进行建模,并利用SPIN的图形界面工具XSPIN模拟了攻击过程,验证了攻击的有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《福建工程学院学报》（双月刊）创刊于2003年，由福建省教育厅主管，福建工程学院主办，CN刊号为：35-1267/Z，自创刊以来，颇受业界和广大读者的关注和好评。 《福建工程学院学报》主要刊登工程技术与管理、高等工程教育教学研究等方面具有学术性、创新性的论文。其办刊宗旨是“立足八闽，面向全国，弘扬学术，发展教育”，服务学院的教育科研，服务于海峡两岸的经济繁荣。
北大期刊、统计源期刊
人气 542302 评论 58
省级期刊
人气 238650 评论 36
人气 228850 评论 63
人气 186258 评论 72
