Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks
Hugo Rodríguez, Rubén Carvajal, B. Ontiveros, Ismael Soto, Rolando Antonio Carrasco · InTech eBooks · 2010
We have used PN to model and formally analyze a communication system which holds a elliptic curve encryption scheme and it could works on a WSN. The results obtained shows formally that our approach are correct. However, we plan increase the complexity of models. We should consider critical factors related to constrained capacities of sensors nodes. We have analyze a more elaborate encryption scheme keep in mind adding a intermediate entity for the keys management.