Kod: 06847644
Parmi les systčmes embarqués qui ont connu des évolutions rapides au cours des derničres années et qui sont utilisés dans plusieurs domaines (la santé, le transport, le logistique, etc.), on peut citer les systčmes d'identificatio ... więcej
Za ten zakup dostaniesz 159 punkty
Parmi les systčmes embarqués qui ont connu des évolutions rapides au cours des derničres années et qui sont utilisés dans plusieurs domaines (la santé, le transport, le logistique, etc.), on peut citer les systčmes d'identification par radiofréquence (RFID). Deux problčmes principaux restent toujours posés au niveau des systčmes embarqués communicants, notamment : la sécurité et la complexité (i.e. le coűt). La communication entre le tag et le lecteur est insécurisée, ce qui le rend ouvert devant toute attaque logique sur le protocole de sécurité. Dans ce mémoire, nous essayons de mettre l'accent sur les méthodes d'analyse des protocoles cryptographiques. Notre travail se focalise en particulier sur la vérification automatique des protocoles d'authentification des systčmes RFID sous la plateforme AVISPA. Les propriétés de sécurité vérifiées sont : la confidentialité et l'authentification. Notre étude comporte aussi une comparaison entre les différents protocoles étudiés en terme complexité d'implémentation des primitives cryptographiques et algébriques.
Kategoria Books in French LITTÉRATURE GÉNÉRALE Essais littéraires
63.68 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
Shopping cart ( Empty )