Formal Verification of Communication Protocols for Wireless Networks: A simple and efficient methodology for formal verification of wireless networks communication protocols - Couverture souple

Camara, Daniel; Alfredo Ferreira Loureiro, Antonio

 
9783846515600: Formal Verification of Communication Protocols for Wireless Networks: A simple and efficient methodology for formal verification of wireless networks communication protocols
Couverture souple
ISBN 10 : 3846515604 ISBN 13 : 9783846515600
Editeur : LAP LAMBERT Academic Publishing, 2011

Synopsis

We live in an interconnected word, a world where people cannot afford living isolated anymore. In a few years wireless Internet access evolved form a matter of convenience to a real need for some people. The number and variety of available applications for this environment is overwhelming and the number of applications grows in a daily bases. These systems must be validated before being available to the users. However, in the development of applications for wireless medium designers normally just ignore the medium as a relevant factor to be considered. Not because it does not affect their application, but simply because they do not have any simple, yet efficient, method to address the particularities of the wireless medium. Neither simulations nor testbed implementations can ensure the correctness of a communication protocol. Observing this, some researchers turned to formal verification as a way to guarantee that a given protocol, or application, presents a specific characteristic. This book presents a review of the available techniques and proposes a new methodology for formal verification of communication protocols for wireless networks.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

We live in an interconnected word, a world where people cannot afford living isolated anymore. In a few years wireless Internet access evolved form a matter of convenience to a real need for some people. The number and variety of available applications for this environment is overwhelming and the number of applications grows in a daily bases. These systems must be validated before being available to the users. However, in the development of applications for wireless medium designers normally just ignore the medium as a relevant factor to be considered. Not because it does not affect their application, but simply because they do not have any simple, yet efficient, method to address the particularities of the wireless medium. Neither simulations nor testbed implementations can ensure the correctness of a communication protocol. Observing this, some researchers turned to formal verification as a way to guarantee that a given protocol, or application, presents a specific characteristic. This book presents a review of the available techniques and proposes a new methodology for formal verification of communication protocols for wireless networks.

Biographie de l'auteur

is a research engineer at INRIA Sophia Antipolis, France.                                                         Antonio Alfredo Ferreira Loureiro is a titular professor at the Department of Computer Science of the Federal University of Minas Gerais, Brazil.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2011
Langue
anglais
ISBN 10 
3846515604
ISBN 13 
9783846515600
Reliure
Broché
Nombre de pages
120
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne