Abstract
Nodes in an ad-hoc network lack the protection offered by firewalls in infrastructure-based networks. Trust based system aids to improvise this situation. A few works exists that handle the formal description of ad hoc networks. But describing correct specifications, reusing specifications, and constructing specifications repository are significant issues on software development to product safety and high quality software systems. In order to deal with such issues, we propose a formal specification of the Trusted Neighbor Information Base of OLSR routing protocol of ad hoc network using “Z” language. Z is a state-oriented formal specification language based on set theory and predicate logic. Specification languages are situated between natural and program languages. These types of languages enable to eliminate internal ambiguity, which is characteristic for natural languages. The Z notation is used to for formal specification of this part of the protocol. Finally, the formal specifications is verified and proved using Z Eves tool.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Camara, D., Loureiro, A.A.F., Filali, F.: Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks. In: IEEE Conference on Global Communications, pp. 705–709 (2007)
Ahmed, S., Ramani, A.K., Zafar, N.A.: Verifying Route Request Procedure of AODV Using Graph Theory And Formal Methods. International Journal On Applications Of Graph Theory In Wireless Ad Hoc Networks And Sensor Network 2(2), 1–13 (2011)
Maag, S., Zaidi, F.: Testing Methodology for an Ad Hoc Routing Protocol. In: ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks, pp. 48–55 (2006)
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall (1989)
Clausen, T., Jacquet, P.: Optimized Link State Routing Protocol (OLSR). IETF INTERNET DRAFT, RFC 3626 (2003)
Amandeep, V.: Formal Verification of Ad Hoc Network Routing Protocols. International Journal of Advanced Research in Computer Science 2(4), 526–530 (2011)
Amandeep, V., Singh, G.M.: Performance Analysis of Routing Protocols for Ad hoc Networks. International Journal of Computer Science and Emerging Technologies 2(4), 484–487 (2011)
Jim, W., Jim, D.: UsingZ: Specification, Refinement and Proof, http://www.cs.cmu.edu/~15819/zedbook.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Verma, A., Gujral, M.S. (2012). Formal Specification of Trusted Neighbor Information Base of OLSR Routing Protocol of Adhoc Network Using Z Language. In: Krishna, P.V., Babu, M.R., Ariwa, E. (eds) Global Trends in Computing and Communication Systems. ObCom 2011. Communications in Computer and Information Science, vol 269. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29219-4_63
Download citation
DOI: https://doi.org/10.1007/978-3-642-29219-4_63
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29218-7
Online ISBN: 978-3-642-29219-4
eBook Packages: Computer ScienceComputer Science (R0)