|
|
 |
| |
|
|
|
Analyses of Security Protocols in Wireless Sensor Network Using Model Checking |
|
|
|
PP: 91-98 |
|
|
|
doi:10.18576/amisl/060206
|
|
|
|
Author(s) |
|
|
|
Zeinab Varaminy Bahnemiry,
|
|
|
|
Abstract |
|
|
| In this paper, a formal survey in security protocols of wireless sensor networks is investigated. These protocols include
TinySec, LEAP, TinyPK, MiniSec, SNEP and Tesla. These protocols are modeled by High Level formal language and also by
model Checking tool known as AVISPA (Automated Validation of Internet Security Protocol an Application) is verified. Each of
these protocols supports security properties such as authenticity, confidentiality, broadcast protection and refreshment messages. In
surveys A or several security property is investigated. As a result, two attacks have been found. According to this result indicate the
protocol is safe or not [1,2,3]. |
|
|
|
|
|
|
|
