Modelling secure wireless sensor networks routing protocols with timed automata

M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo. Modelling secure wireless sensor networks routing protocols with timed automata. In Blanca Caminero, Francisco Delicado, Richard Werner Nelem Pazzi, editors, Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2008, Vancouver, British Columbia, Canada, October 31, 2008. pages 51-58, ACM, 2008. [doi]

Authors

M. Llanos Tobarra

This author has not been identified. Look up 'M. Llanos Tobarra' in Google

Diego Cazorla

This author has not been identified. Look up 'Diego Cazorla' in Google

Fernando Cuartero

This author has not been identified. Look up 'Fernando Cuartero' in Google

Juan José Pardo

This author has not been identified. Look up 'Juan José Pardo' in Google