The following information was submitted:
Transactions: INTERNATIONAL JOURNAL of COMPUTERS AND COMMUNICATIONS
Transactions ID Number: 19-311
Full Name: Mihai Pura
Position: Assistant Professor
Age: ON
Sex: Male
Address: 81-83 George Cosbuc Boulevard
Country: ROMANIA
Tel:
Tel prefix:
Fax:
E-mail address: puramihai@yahoo.com
Other E-mails:
Title of the Paper: Modeling and formal verification of implicit on-demand secure ad hoc routing protocols in HLPSL and AVISPA
Authors as they appear in the Paper: Mihai-Lica Pura, Victor-Valeriu Patriciu, Ion Bica
Email addresses of all the authors: puramihai@yahoo.com,vip@mta.ro,ibica@mta.ro
Number of paper pages: 8
Abstract: Ad hoc networks are a relatively new and promising communication technology. Its key aspect is represented by the specific routing protocols that assure the ad hoc manner of inter node message exchange. But like any other communication technology, ad hoc networks raise specific security problems, especially related to the routing protocols. Although researchers had been very kind with this field and lots of papers were written regarding this aspect, we see no use of these networks in real life applications. A possible explanation would be the lack of user confidence in the security of these special wireless networks. As a countermeasure we propose the use of formal validation methods, model checking in particular, to formally prove the security properties of these protocols. The idea is not necessary new. What represent the novelty are the used tools: HLPSL and AVISPA. Until now researchers used in this matter only mathematical methods or tools like SPIN, that cann!
ot be automated or the possible automation degree is very low. On the contrary, AVISPA offers the possibility to highly automate the modeling the model checking of these protocols.
Keywords: formal verification, model checking, HLPSL, AVSIPA, implicit on-demand secure ad hoc routing protocol, ad hoc networks, ARAN
EXTENSION of the file: .doc
Special (Invited) Session: Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study
Organizer of the Session: 634-397
How Did you learn about congress:
IP ADDRESS: 85.120.255.210
