Name
Abstract | ||
|---|---|---|
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem proving system PVS and can be used for formal specification, automated simulation and verification of the behaviour of the protocol. In order to demonstrate the applicability of the approach, we analyse the reverse path forwarding algorithm, which is the basic technique used for diffusion protocols for wireless sensor networks. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-05118-0_8 | SSS |
Keywords | Field | DocType |
basic technique,mobile node,formal specification,automated simulation,dynamic link quality,wireless sensor network,reverse path forwarding algorithm,system pvs,diffusion protocol,wireless sensor network protocols,dynamic scenarios,theorem proving | Key distribution in wireless sensor networks,Computer science,Theorem Proving System,Computer network,Formal specification,Reverse path forwarding,Mobile wireless sensor network,Wireless sensor network,Distributed computing | Conference |
Volume | ISSN | Citations |
5873 | 0302-9743 | 6 |
PageRank | References | Authors |
0.48 | 13 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cinzia Bernardeschi | 1 | 226 | 31.87 |
| Paolo Masci | 2 | 188 | 29.52 |
| Holger Pfeifer | 3 | 179 | 12.77 |