Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z

A Mobile Ad hoc Network is a network of mobile nodes operating in an infrastructure-less network. These nodes not have the defense rendered by firewalls in infrastructure-based networks. Trust oriented system aids to improvise this situation. So, the incorporation of trust in routing decisions yield...

Full description

Saved in:
Bibliographic Details
Published in:International journal of computer applications 2012-01, Vol.37 (2), p.25-36
Main Authors: Verma, Amandeep, Gujral, Manpreet Singh
Format: Article
Language:English
Subjects:
Aids
Formal specification
Networks
Predicate logic
Routing (telecommunications)
Set theory
Specifications
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 36
container_issue 2
container_start_page 25
container_title International journal of computer applications
container_volume 37
creator Verma, Amandeep
Gujral, Manpreet Singh
description A Mobile Ad hoc Network is a network of mobile nodes operating in an infrastructure-less network. These nodes not have the defense rendered by firewalls in infrastructure-based networks. Trust oriented system aids to improvise this situation. So, the incorporation of trust in routing decisions yields a more secure and reliable framework for such type of networks. As if any suggested model does not achieve as projected, it is reduced quality of service. The validation before deployment of any model leads to a more stable model. A good way to confirm a model is to use formal specification and verification techniques. In the present study, with the aim to include trust component in conventional OLSR protocol of ad hoc network and also to rule out invalid actions, formal specifications of the various procedures of trusted OLSR Protocol are given using "Z" specification language. Z is a state-oriented formal specification language based on set theory and predicate logic. Z/EVES, a proof tool based on EVES and ZF set theory that supports the Z notation is used for the formal specifications.
doi_str_mv 10.5120/4581-6500
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1671371830</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1671371830</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1290-bffa9972a21963e60ec323d339f7f43f6e9dcd5b7790e504057dd99a4cc85fb73</originalsourceid><addsrcrecordid>eNpdkE1LAzEQhoMoWGoP_oPgSQ-ryWazyRxLaVUoVmy9eAlpPnDrdlOTXcR_7y71IM5lBubh5eVB6JKSW05zcldwSbOSE3KCRgQEz6SU4vTPfY4mKe1IPwzyEooRmi9C3Osarw_OVL4yuq1Ck3DweBO71DqLV8v1C36OoQ0m1MNjavF7MPjJtV8hfuCqwW8X6MzrOrnJ7x6j18V8M3vIlqv7x9l0mRmaA8m23msAkeucQslcSZxhObOMgRe-YL50YI3lWyGAOE4KwoW1ALowRnK_FWyMro-5hxg-O5data-ScXWtGxe6pGgpKBNUMtKjV__QXehi07dTQKWQsgTWQzdHyMSQUnReHWK11_FbUaIGpWpQqgal7Aff8GWV</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>918788693</pqid></control><display><type>article</type><title>Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z</title><source>Freely Accessible Science Journals - May need to register for free articles</source><creator>Verma, Amandeep ; Gujral, Manpreet Singh</creator><creatorcontrib>Verma, Amandeep ; Gujral, Manpreet Singh</creatorcontrib><description>A Mobile Ad hoc Network is a network of mobile nodes operating in an infrastructure-less network. These nodes not have the defense rendered by firewalls in infrastructure-based networks. Trust oriented system aids to improvise this situation. So, the incorporation of trust in routing decisions yields a more secure and reliable framework for such type of networks. As if any suggested model does not achieve as projected, it is reduced quality of service. The validation before deployment of any model leads to a more stable model. A good way to confirm a model is to use formal specification and verification techniques. In the present study, with the aim to include trust component in conventional OLSR protocol of ad hoc network and also to rule out invalid actions, formal specifications of the various procedures of trusted OLSR Protocol are given using "Z" specification language. Z is a state-oriented formal specification language based on set theory and predicate logic. Z/EVES, a proof tool based on EVES and ZF set theory that supports the Z notation is used for the formal specifications.</description><identifier>ISSN: 0975-8887</identifier><identifier>EISSN: 0975-8887</identifier><identifier>DOI: 10.5120/4581-6500</identifier><language>eng</language><publisher>New York: Foundation of Computer Science</publisher><subject>Aids ; Formal specification ; Networks ; Predicate logic ; Routing (telecommunications) ; Set theory ; Specifications</subject><ispartof>International journal of computer applications, 2012-01, Vol.37 (2), p.25-36</ispartof><rights>Copyright Foundation of Computer Science 2012</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Verma, Amandeep</creatorcontrib><creatorcontrib>Gujral, Manpreet Singh</creatorcontrib><title>Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z</title><title>International journal of computer applications</title><description>A Mobile Ad hoc Network is a network of mobile nodes operating in an infrastructure-less network. These nodes not have the defense rendered by firewalls in infrastructure-based networks. Trust oriented system aids to improvise this situation. So, the incorporation of trust in routing decisions yields a more secure and reliable framework for such type of networks. As if any suggested model does not achieve as projected, it is reduced quality of service. The validation before deployment of any model leads to a more stable model. A good way to confirm a model is to use formal specification and verification techniques. In the present study, with the aim to include trust component in conventional OLSR protocol of ad hoc network and also to rule out invalid actions, formal specifications of the various procedures of trusted OLSR Protocol are given using "Z" specification language. Z is a state-oriented formal specification language based on set theory and predicate logic. Z/EVES, a proof tool based on EVES and ZF set theory that supports the Z notation is used for the formal specifications.</description><subject>Aids</subject><subject>Formal specification</subject><subject>Networks</subject><subject>Predicate logic</subject><subject>Routing (telecommunications)</subject><subject>Set theory</subject><subject>Specifications</subject><issn>0975-8887</issn><issn>0975-8887</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><recordid>eNpdkE1LAzEQhoMoWGoP_oPgSQ-ryWazyRxLaVUoVmy9eAlpPnDrdlOTXcR_7y71IM5lBubh5eVB6JKSW05zcldwSbOSE3KCRgQEz6SU4vTPfY4mKe1IPwzyEooRmi9C3Osarw_OVL4yuq1Ck3DweBO71DqLV8v1C36OoQ0m1MNjavF7MPjJtV8hfuCqwW8X6MzrOrnJ7x6j18V8M3vIlqv7x9l0mRmaA8m23msAkeucQslcSZxhObOMgRe-YL50YI3lWyGAOE4KwoW1ALowRnK_FWyMro-5hxg-O5data-ScXWtGxe6pGgpKBNUMtKjV__QXehi07dTQKWQsgTWQzdHyMSQUnReHWK11_FbUaIGpWpQqgal7Aff8GWV</recordid><startdate>20120101</startdate><enddate>20120101</enddate><creator>Verma, Amandeep</creator><creator>Gujral, Manpreet Singh</creator><general>Foundation of Computer Science</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20120101</creationdate><title>Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z</title><author>Verma, Amandeep ; Gujral, Manpreet Singh</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1290-bffa9972a21963e60ec323d339f7f43f6e9dcd5b7790e504057dd99a4cc85fb73</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Aids</topic><topic>Formal specification</topic><topic>Networks</topic><topic>Predicate logic</topic><topic>Routing (telecommunications)</topic><topic>Set theory</topic><topic>Specifications</topic><toplevel>online_resources</toplevel><creatorcontrib>Verma, Amandeep</creatorcontrib><creatorcontrib>Gujral, Manpreet Singh</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>International journal of computer applications</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Verma, Amandeep</au><au>Gujral, Manpreet Singh</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z</atitle><jtitle>International journal of computer applications</jtitle><date>2012-01-01</date><risdate>2012</risdate><volume>37</volume><issue>2</issue><spage>25</spage><epage>36</epage><pages>25-36</pages><issn>0975-8887</issn><eissn>0975-8887</eissn><abstract>A Mobile Ad hoc Network is a network of mobile nodes operating in an infrastructure-less network. These nodes not have the defense rendered by firewalls in infrastructure-based networks. Trust oriented system aids to improvise this situation. So, the incorporation of trust in routing decisions yields a more secure and reliable framework for such type of networks. As if any suggested model does not achieve as projected, it is reduced quality of service. The validation before deployment of any model leads to a more stable model. A good way to confirm a model is to use formal specification and verification techniques. In the present study, with the aim to include trust component in conventional OLSR protocol of ad hoc network and also to rule out invalid actions, formal specifications of the various procedures of trusted OLSR Protocol are given using "Z" specification language. Z is a state-oriented formal specification language based on set theory and predicate logic. Z/EVES, a proof tool based on EVES and ZF set theory that supports the Z notation is used for the formal specifications.</abstract><cop>New York</cop><pub>Foundation of Computer Science</pub><doi>10.5120/4581-6500</doi><tpages>12</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0975-8887
ispartof International journal of computer applications, 2012-01, Vol.37 (2), p.25-36
issn 0975-8887
0975-8887
language eng
recordid cdi_proquest_miscellaneous_1671371830
source Freely Accessible Science Journals - May need to register for free articles
subjects Aids
Formal specification
Networks
Predicate logic
Routing (telecommunications)
Set theory
Specifications
title Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-04T12%3A33%3A36IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20Specifications%20of%20Trusted%20OLSR%20Protocol%20of%20Ad%20hoc%20Network%20in%20Z&rft.jtitle=International%20journal%20of%20computer%20applications&rft.au=Verma,%20Amandeep&rft.date=2012-01-01&rft.volume=37&rft.issue=2&rft.spage=25&rft.epage=36&rft.pages=25-36&rft.issn=0975-8887&rft.eissn=0975-8887&rft_id=info:doi/10.5120/4581-6500&rft_dat=%3Cproquest_cross%3E1671371830%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c1290-bffa9972a21963e60ec323d339f7f43f6e9dcd5b7790e504057dd99a4cc85fb73%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=918788693&rft_id=info:pmid/&rfr_iscdi=true