...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Computer Science and Technology >Formal Verification of WiMAX Protocol Using Petri Nets
【24h】

Formal Verification of WiMAX Protocol Using Petri Nets

机译：使用Petri网对WiMAX协议进行形式验证

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

WiMAX technology is growing rapidly and has much social influence on people (user) which offers high-speed internet service and also ignores Wi-Fi interrupts, therefore, it is assumed that it has some security issues like the man in the middle attack, DoS attack, Rouge Base attack etc. In this era of technology the reliability enhancement is very important and demand for user satisfaction. Formal methods are the mathematical language and identify the possible errors of the system at the conceptual modeling phase. These attacks can be identified at the conceptual modeling phase and the developed system maybe attack free and error free. Petri nets is the graphical representing language of the system which is under development and it also covers all the functionalities of the system. Petri nets is mostly used by the researchers for formalization purposes. In this research, the Diagram of WiMAX protocol will be first analysed and then its equivalent Petri net model will be developed which will cover all the working of the system. Finally, the model will be verified by designing a reachability tree. This will make the WiMAX system formally verified and we can then say the WiMAX system is formally verified.
机译：WiMAX技术发展迅速，并且对提供高速互联网服务的人们（用户）具有很大的社会影响力，并且忽略了Wi-Fi中断，因此，假设它存在一些安全问题，例如中级攻击者DoS攻击，胭脂基地攻击等。在这个技术时代，可靠性的提高非常重要，并且要求用户满意。形式方法是一种数学语言，可以在概念建模阶段识别系统的可能错误。可以在概念建模阶段识别这些攻击，并且开发的系统可能没有攻击且没有错误。 Petri网是正在开发的系统的图形表示语言，它还涵盖了系统的所有功能。研究人员通常将Petri网用于形式化目的。在这项研究中，将首先分析WiMAX协议图，然后开发等效的Petri网络模型，该模型将覆盖系统的所有工作。最后，将通过设计可达性树来验证模型。这将使WiMAX系统得到正式验证，然后我们可以说WiMAX系统得到了正式验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号