SECURITY AND SAFETY ANALYSIS OF WSN BASED ON FINITE MODEL CHECKING

Abstract

Resource constraints of Wireless Sensor Networks (WSNs) increase security and safety conserns related to their utilization. Meanwhile, it is expacted that WSN applications will prowide key security and saferty guarantees despite of the limited resources. In this talk we consider finite model checking as an approach to discover worst case scenarios of WSN behavior and thus, to improve security, safety and reliability of WSNs. After a brief owerview of finite model checking we will elaborate on the considered approach using several case studies, such as trustawe query processing in data intensive sensor networks.