Sujet de pfe et/ou master
Au : 2009-2010
Mots clés : Wireless sensor Networks (WSN) , Sécurité, TOSSIM, plateforme Telosb, ECC, validation formelle, Threshold cryptographie.
Avec ECC (Elliptic Curve Cryptography)
v Implémentation de ECC dans la plateforme Telosb
v Implémentation de ECC sur FPGA
Avec TOSSIM :
Implémentation et comparaison des performances de protocole de sécurité (Tinysec, MiniSec, mecanisme de ZigBee,...)
v Implémentation de TinySec sur TOSSIM
v Implémentation de SPINS sur TOSSIM
v Implémentation de MiniSec sur TOSSIM
Avec la plateforme TelosB:
v Implémentation de EAPSens sur plateforme
v Implémentation de TinySec sur plateforme
v Implémentation de SPINS sur plateforme
v Implémentation de MiniSec sur plateforme
Validation formelle :
v Etude comparative de outils de validation formelle (AVISPA, proverif, Spi Calcul, etc…)
v Validation formelle des protocoles de sécurité.
ZigBee :
Ø Implémentation du protocole « Secure Group Communication » dans Open ZigBee.
Ø Implémentation de Multicast routing dans open-Zb
Références :
n TinyOS official Website: http://www.tinyos.net
n TinyOS Documentation
q http://www.tinyos.net/tinyos-1.x/doc/index.thml
q Tutorial
n http://www.tinyos.net/tinyos-1.x/tutorial/index.html
q NesC
n http://www.tinyos.net/tinyos-1.x/doc/nesc/ref.pdf
q Tossim
n http://www.tinyos.net/tinyos-1.x/doc/nido.pdf
n PowerTossim
q http://www.eecs.harvard.edu/~shnayder/ptossim/install.html
n Sample applications
q In tinyos directory, /opt/tinyos-1.x/apps
q TinyOS CVS repository
n http://sourceforge.net/cvs/?group_id=28656
n Perrig, Adrian, Robert Szewczyk, Victor Wen, David Culler, and Doug Tygar., "SPINS: Security Protocols for Sensor Networks.“, In Proceedings of the Seventh Annual International Conference on Mobile Computing and Networks (ACM Mobicom), Rome, Italy, July 2001.
n Chris Karlof, Naveen Sastry, and David Wagner. “TinySec: A Link Layer Security Architecture for Wireless Sensor Networks”, Proceedings of the Second ACM Conference on Embedded Networked Sensor Systems (SenSys 2004). November 2004.
n Luk, Mark, Ghita Mezzour, Adrian Perrig, and Virgil Gligor.
"MiniSec: A Secure Sensor Network Communication Architecture.“, Sixth International Conference on Information Processing in Sensor Networks (IPSN 2007), Cambridge, Massachusetts. April, 2007.
n http://www.zigbee.org/en/events/documents/December2005_Open_House_Presentations/ZigBee_Security_Layer_Technical_Overview.pdf