1 citations · 1 across the 1 of their papers we have counts for
1 paper
Zohra Sbaï, Mohamed Escheikh
In this paper, we deal with the formal verification of an encryption scheme for Wireless Sensor Networks (WSNs). Especially, we present our first results on building a framework de…