Mohamed Escheikh

Learn More
—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 dedicated to modelling and verification of WSNs aspects. To achieve our goal, we propose to specify WSNs models written in Petri nets using Promela constructs in order to verify(More)
Although enhanced distributed coordination function EDCF mechanism brings service differentiation between different access categories, Quality of service is not guaranteed for delay sensitive applications such as voice unless further open parameters of the amendment may be supported in the implementation phase. Among these parameters we focus in this paper(More)
  • 1