Toward secure wireless protocols in the context of internet of things
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Toward secure wireless protocols in the context of internet of things
Toward secure wireless protocols in the context of internet of things
ParisTechINSTlTUT DES SCIENCES ET TECHNOLOGIES PARIS INSTITUTE OF TECHNOLOGYIf/1Doctorat ParisTech■THESEpour obtenir le grade de docteur délivre parTE Toward secure wireless protocols in the context of internet of things ELECOM ParisTechSpécialité « Computer Science »prẻsentée el soulenue publiquemeni parTrung NGUYEN42402TELECOMParisTech2016-ENSTToward Secure Wireless Protocols in The Context of Internet of ThingsDirecteur de these : Jean LENEUTREHJuryM. Christophe BIDAN. Professor. Supelec RennesM. Abdelmajid BOUAB Toward secure wireless protocols in the context of internet of things DALLAH, Professor. UTC CompiegneM. Patrick BELLOT. Professor. Telecom ParisTechM. Nguyen Dinh THUC. Associate Professor. University of Science. HCMCMmToward secure wireless protocols in the context of internet of things
e. Maryline LAURENT. Professor, Telecom SudParisTELECOM ParisTechécole de I'lnstitut Mines-Télécom ■ membre de ParisTechrve BiftMl 7ÍO13 Pare - |f33) ParisTechINSTlTUT DES SCIENCES ET TECHNOLOGIES PARIS INSTITUTE OF TECHNOLOGYIf/1Doctorat ParisTech■THESEpour obtenir le grade de docteur délivre parTE Toward secure wireless protocols in the context of internet of things s is increasing nowadays, especially in Liu1 context of Interne! of (Io I')- loT extensively uses wireless eoininiinicalion so that all devices can work together without being physically attached. However, so-coring these communication requires (kxlicatcxi protocols in particular in term of device a Toward secure wireless protocols in the context of internet of things uthentication and neighborhood discovery. Such protocols use classical cryptographic mechanisms but also rely on assumption about physical characterisToward secure wireless protocols in the context of internet of things
tics (existence of an out-of-band or human assisted channel, location or signal range of the device,...). Formally proving security properties for theParisTechINSTlTUT DES SCIENCES ET TECHNOLOGIES PARIS INSTITUTE OF TECHNOLOGYIf/1Doctorat ParisTech■THESEpour obtenir le grade de docteur délivre parTE Toward secure wireless protocols in the context of internet of things cliaractcristics. Furthermore, the attacker model based on Dolev-Yao used in these approaches Is no longer suitable.This thesis tackles this problem by proposing an extension of Strand Spaces model with physical characteristics and a refined penetrator model and to apply it to analyse device pairing Toward secure wireless protocols in the context of internet of things and neighborhood discovery protocols. Thanks to this approach, we identify new security flaws in several protocols, and propose a new device pairingToward secure wireless protocols in the context of internet of things
protocol. This protocol Is more lightweight than other existing device pairing protocols in term of com munication costs, and is proved to be secure iParisTechINSTlTUT DES SCIENCES ET TECHNOLOGIES PARIS INSTITUTE OF TECHNOLOGYIf/1Doctorat ParisTech■THESEpour obtenir le grade de docteur délivre parTE Toward secure wireless protocols in the context of internet of things raphic primitives, such that if there Is no attack against the translated protocol, there is no attack against the initial one. Thanks to this trans lation, it becomes possible to use classical security protocol verification tools to check the security of a protocol with OOB channels: it suffices to Toward secure wireless protocols in the context of internet of things check that the translated protocol Is scctue. Based on above mentioned enhanced security blocks, we define a now promising secure and robust bootstraToward secure wireless protocols in the context of internet of things
pping scheme as otu last contribution. Our scheme enables a new rcsotưce constrained device to securely join a home network in circumstances where theParisTechINSTlTUT DES SCIENCES ET TECHNOLOGIES PARIS INSTITUTE OF TECHNOLOGYIf/1Doctorat ParisTech■THESEpour obtenir le grade de docteur délivre parTE Toward secure wireless protocols in the context of internet of things ice at the manufactory site, nor docs it require a PKI infrastructure.ContentsParisTechINSTlTUT DES SCIENCES ET TECHNOLOGIES PARIS INSTITUTE OF TECHNOLOGYIf/1Doctorat ParisTech■THESEpour obtenir le grade de docteur délivre parTEGọi ngay
Chat zalo
Facebook