Link to refer to this document:
Abstract
Wireless s ensor networks distribu te a c omm on sensing and compu ti ng task wit hin the large nu mberof parti cipants that use wireless comm un ica ti on . Such n etworks requ ire a self- organizing and energy -aware set of protocols. Several protocols have bee d d esign ed for such env iron ments, ho wever to makece rtain p roo f of their sec ureness , their f ormal analysis is requ ired.In ou r arti cle, we sho w an analysis fr amework ca pable of prov ing sec urit y p rop erti es of suchprotocols. Our methodo logy is based on the CSP proce ss algebra. We will demon strate it s po wer bygiving an att ac k po ss ibilit y for an existi ng p rotocol, and the e xtensibilit y o f the mod el will also b epo inted
