首页> 外文OA文献 >VERIFYING ROUTE REQUEST PROCEDURE OF AODV USING GRAPH THEORY AND FORMAL METHODS

【2h】

VERIFYING ROUTE REQUEST PROCEDURE OF AODV USING GRAPH THEORY AND FORMAL METHODS

机译：用图论和正式方法验证aODV的航线申请程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shakeel Ahmed; A. K. Ramani; Nazir Ahmad Zafar;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying Route Request Procedure of AODV Using Graph Theory and Formal Methods [J] . Shakeel Ahmed, A. K. Ramani, Nazir Ahmad Zafar International Journal on Applications of Graph Theory in Wireless ad hoc Networks and Sensor Networks . 2011,第2期

机译：用图论和形式方法验证AODV的路径请求程序
2. STATE TOKEN PETRI NET MODELING METHOD FOR FORMAL VERIFICATION OF COMPUTERIZED PROCEDURE INCLUDING OPERATOR'S INTERRUPTIONS OF PROCEDURE EXECUTION FLOW [J] . YUN GOO KIM, POONG HYUN SEONG Nuclear engineering and technology . 2012,第8期

机译：包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
3. Verification of interdomain routing system based on formal methods [J] . Zang Zhiyuan, Luo Guiming, Yin Chongyuan Tsinghua Science and Technology . 2009,第1期

机译：基于形式化方法的域间路由系统验证
4. A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN [C] . Hideharu Kojima, Naoto Yanai International Symposium on Software Reliability Engineering Workshops . 2019

机译：一种用于SPIN的安全路由协议形式验证的状态空间抑制方法
5. Hierachical Formal Modeling and Verification of Router Policies with an Applied Case Study to Cisco Router Configurations [D] . Brown, Matthew. 2016

机译：路由器策略的分层形式建模和验证，以及对思科路由器配置的应用案例研究
6. On the MAC/Network/Energy Performance Evaluation of Wireless Sensor Networks: Contrasting MPH AODV DSR and ZTR Routing Protocols [O] . Carolina Del-Valle-Soto, Carlos Mex-Perera, Aldo Orozco-Lugo, 2014

机译：关于无线传感器网络的MAC /网络/能源性能评估：MPHAODVDSR和ZTR路由协议的对比
7. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards [O] . Henzl M., Hanacek P. 2016

机译：使用加密非接触式智能卡的协议的安全形式验证方法

VERIFYING ROUTE REQUEST PROCEDURE OF AODV USING GRAPH THEORY AND FORMAL METHODS

著录项

引文网络

相似文献

相关主题

期刊订阅