Abstract FR:

L'emergence du commerce electronique et les developpements recents en matiere de moyens de paiement mobiles necessitent la mise en uvre de protocoles cryptographiques. Cette these introduit des schemas de paiement electronique s'inscrivant dans le cadre de realisations pratiques. On s'attache ainsi a considerer des contraintes materielles fortes, repondant aux hypotheses sur les modeles de calcul et de traitement de l'information des objets mobiles. Un premier protocole combinant pre-traitement et delegation des calculs permet d'exhiber une methode de signature de transactions de paiement preservant l'anonymat de l'utilisateur. Une methode de generation par lots des grandeurs pre-calculees permet egalement d'optimiser les temps de calcul. Nous decrivons ensuite une extension permettant la distribution des fonctionnalises afin d'ameliorer les performances et le controle de l'anonymat. Les primitives cryptographiques permettant de proteger l'anonymat des utilisateurs sont prouvees sures dans le modele de l'oracle aleatoire. La formalisation de ce modele par bellare et rogaway ouvrit la voie a des preuves de securite reposant uniquement sur les proprietes calculatoires des fonctions a sens-unique ou de hachage. Il est important de noter que ces schemas offrent un degre d'anonymat decidable. Cet anonymat est de plus revocable dans certaines conditions, permettant la detection de fraudes sans pour autant exposer l'identite des utilisateurs honnetes. Nous nous interessons enfin a la mise en uvre d'un objet algorithmique combinant chiffrement et permutation afin d'acheminer de facon anonyme des transactions de paiement. Dans ce cadre, on evalue les differentes primitives de chiffrement et leur impact sur la qualite du reseau de communication, notamment sa robustesse a certaines attaques.