关键词: SNEP协议, CK模型, 敌手, 安全通道

Abstract: Data encryption and authentication based on public key system are not suitable for Wireless Sensor Network（WSN） because of the limitation of characteristic of nodes. SNEP protocol is an important part of SPINS protocol which features nodes very well. It is in charge of session key establishment and authentication between nodes based on trusted base station. This paper adopts CK model which is one of provable security model to construct a new protocol existed in ideal model corresponding to reality model, and then executes formal analysis by adversaries ADV and UDV which exist in two models respectively. The conclusion that SNEP protocol constitute security channel in reality environment has been obtained.

Key words: SNEP protocol, CK model, adversary, security channel