Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérification des protocoles : - traitement des primitives cryptographiques : chiffrement CBC, signatures en aveugle; - propriétés de sécurité : secret fort, existence de cycles de clefs; - approches pour la sécurité : construction de protocoles sûrs. Ainsi, nous avons montré la décidabilité (d'une part) de l'existence de cycles de clefs et (d'autre part) du secret pour des protocoles utilisant le mode de chiffrement CBC ou des signatures en aveugle. Nous avons aussi transféré la sécurité des protocoles d'un cadre faible vers un cadre plus fort dans les sens suivants. D'une part, nous avons montré qu'une propriété de secret faible implique sous certaines hypothèses une propriété de secret plus forte. D'une autre part, nous avons construit des protocoles sûrs à partir de protocoles ayant des propriétés plus faibles. / This thesis is developed in the framework of the symbolic analysis of security protocols. The contributions are represented by decidability and transfer results in the following directions which are major topics in protocol verification: - treatment of the cryptographic primitives: CBC encryption, blind signatures; - security properties: strong secrecy, existence of key cycles; - approaches for protocol security: construction of the secure protocols. Thus, we showed the decidability (on the one hand) of the existence of key cycles for a bounded number of sessions using a generalized constraint system approach, and (on the other hand) of secrecy for protocols using the CBC encryption or blind signatures for an unbounded number of sessions by using a refined resolution strategy on a new fragment of Horn clauses. We also transferred protocol security from a weak framework towards a stronger framework in the following directions. On the one hand, we showed that a weak property of secrecy (i.e. reachability-based secrecy) implies under certain well-motivated assumptions a stronger secrecy property (i.e. equivalence-based secrecy). On the other hand, we built protocols secure against active adversaries considering an unbounded number of sessions, by transforming protocols which are secure in a non-adversarial setting.

Dès lors que des éléments rayonnants sont placés à proximité les uns des autres, comme c'est le cas au sein des antennes réseaux à balayage électronique, des interactions électromagnétiques parasites se créent entre eux. Ces couplages se manifestent par une perturbation des répartitions de courants des sources du réseau. Leur impact dépend fortement de l'angle de dépointage du réseau mais est généralement néfaste, car ils modifient les caractéristiques du rayonnement des sources. Les différents objectifs de compacité et les spécifications de performances radioélectriques visés pour les radars aéroportées peuvent conduire à des structures qui supportent et favorisent ces phénomènes de couplages parasites, sous la forme d’ondes d’espace et de surface. Ces derniers peuvent aller jusqu'à entrainer l'impossibilité pour l'antenne de rayonner dans certaines directions et à certaines fréquences d’utilisation : on parle de directions aveugles. Ce phénomène limite de manière considérable le volume de dépointage opérationnel d'un système radar. La maîtrise du couplage entre les éléments rayonnants est donc l'une des problématiques essentielles du développement et du dimensionnement d'une antenne réseau. La recherche qui traite de ce sujet n'en est plus à ses débuts (les premiers radars à balayage électronique sont exploités depuis les années 50) mais reste toujours en attente de solutions innovantes permettant de mieux comprendre et maîtriser ces phénomènes. Dans cette thèse, plusieurs méthodes permettant de minimiser les effets du couplage dans les réseaux à balayage électroniques ont été investiguées. Les travaux s'orientent notamment autour du défi de réduire les conséquences des directions aveugles sans modifier la maille initiale du réseau d'antenne (contrainte iso-maille). / When radiating elements are located close to one another, as it is the case in electronically phased array antennas, parasitic electromagnetic interferences occur between them. The impact of these coupling mechanisms depends to a large extent on the scanning angle of the array, but is usually harmful, since it alters the radiating properties and the active input impedance of the sources. The compactness objectives and radioelectric performances required for airborne radars can lead to structures that support and foster these parasitic couplings, in the form of surface or space waves. In some cases, mutual coupling can even result in the impossibility for the array to radiate in certain directions and at certain frequencies. This phenomenon, referred to as scan blindness, significantly reduces the operating scan volume of a radar system. In that respect, the control of coupling mechanisms between radiating elements is a major issue when developing an array antenna and although the research that deals with this subject is no longer in its infancy, it is always pending for new and innovating solutions to master these phenomena. In this thesis, different solutions enabling to minimize the effect of couplings in phased arrays are investigated. The presented research revolves around the challenge of limiting scan blindness consequences without modifying the initial mesh of the array antenna.

Les Convertisseurs Analogique-Numérique (CAN) à Bancs de Filtres Hybrides (BFH) sont de bons candidats pour répondre aux exigences des futurs systèmes de communication devant être versatile, intelligent et à large-bande. Cependant, les BFH montrent une grande sensibilité aux non-idéalités analogiques du banc d'analyse, de sorte que les CAN à BFH classiques ne seraient pas pratiquement utilisables à moins que ces erreurs ne soient corrigées. Les efforts, dans cette thèse, ont porté sur l'étude de ce problème afin de proposer des pistes de solutions. A cet égard, la conception des BFH est, d'abord, décrite sous la forme de matrice. Puis, en utilisant des circuits analogiques simplement réalisables ainsi que des Filtres numériques à Réponse Impulsionnelle Finie (RIF), les BFH sont conçus pour la conversion A/N. Selon la simulation des CAN à BFH, nous montrons que la sensibilité de ceux-ci aux erreurs analogiques est très élevée puisque la matrice d'analyse associée est mal-conditionnée, surtout dans le cas oµu le suréchantillonnage est utilisé. Pour estimer numériquement les imperfections des circuits analogiques, nous proposons l'utilisation de méthodes d'estimation aveugle, basées sur des statistiques de seconde-ordre ou d'ordre supérieur. Cependant, ces techniques semblent ne pas être applicables aux BFH classiques en raison du sous- échantillonnage inclus µa chaque branche du CAN à BFH. Ainsi, pour exploiter les techniques numériques pour la correction des imperfections analogiques des Filtres d'analyse, nous proposons de nouvelles structures µa Entrée-sortie Multiple (ESM). Dans ces structures, il n'existe plus aucune opération de sous-échantillonnage entre les entrée-sortie associées. Les simulations prouvent que les BFH µa ESM (à sous-bande et à multiplexage temporel) mènent non seulement à une meilleure résolution mais aussi µa une sensibilité moins élevée par rapport aux BFH classique. En conclusion, en utilisant les BFH à ESM, les méthodes aveugles telles que la déconvolution ou l'annulation du bruit peuvent être employées afin de réduire encore la sensibilité aux non-idéalités analogiques.

Nous nous intéressons, dans le cadre de cette recherche, à l’accès à l’internet des personnes malvoyantes. Plusieurs types d’outils destinés à ce public sont disponibles sur le marché, comme les lecteurs et les agrandisseurs d’écran, en fonction de l’acuité visuelle de la personne. Bien que ces outils soient utiles et régulièrement utilisés, les malvoyants (ainsi que les aveugles) évoquent souvent leur aspect frustrant. Plusieurs raisons sont citées, comme le manque d’organisation spatiale du contenu lu avec les lecteurs d’écran ou le fait de ne solliciter qu’un seul sens. La présente recherche consiste à adapter pour les malvoyants un système en développement le TactoWeb (Petit, 2013) qui permet une exploration audio-tactile du Web. TactoWeb a été conçu pour les handicapés ayant une cécité complète et n’offre donc aucune propriété visuelle. Nous proposons ici une adaptation du système pour les handicapés n’ayant qu’une déficience visuelle partielle. Nous espérons fournir à cette population des outils performants qui leur permettront de naviguer sur l’internet de façon efficace et agréable. En effet, grâce à une exploration non-linéaire (qui devrait améliorer l’orientation spatiale) et une interface multimodale (qui sollicite la vue, l’ouïe et le toucher), nous pensons réduire fortement le sentiment de frustration qu’évoquent les malvoyants. Nous avons posé l’hypothèse qu’une exploration non-linéaire et trimodale d’un site internet avec TactoColor est plus satisfaisante et efficace qu’une exploration non-linéaire bimodale avec TactoWeb (sans retour visuel). TactoColor a été adapté pour les malvoyants en ajoutant des indices visuels traduisant les composantes de la page (liens, menus, boutons) qui devraient rendre l’exploration plus aisée. Pour vérifier notre hypothèse, les deux versions du logiciel ont été évaluées par des malvoyants. Ainsi, les participants ont commencé soit avec TactoWeb, soit avec TactoColor afin de ne pas favoriser une des versions. La qualité de la navigation, son efficacité et son efficience ont été analysées en se basant sur le temps nécessaire à l’accomplissement d’une tâche, ainsi que la facilité ou la difficulté évoquée par le participant. Aussi, à la fin de chaque session, nous avons demandé leur avis aux participants, grâce à un questionnaire d’évaluation, ce qui nous a permis d’avoir leur retour sur notre logiciel après leur brève expérience. Tous ces relevés nous ont permis de déterminer que l’ajout des couleurs entraine une exploration plus rapide des pages web et une meilleure orientation spatiale. Par contre les performances très différentes des participants ne permettent pas de dire si la présence des couleurs facilite la complétion des tâches. / For this research we wanted to focus on how we could improve the satisfaction of visually impaired people when surfing the internet. Many applications are being developed and used to help the disabled on the web, but almost all of them are criticized. Two of the main complaints are that you can only use one of your senses to interact with them and that it is very difficult to figure out how a page is organized. As Human Beings, we are used to use at least two senses at a time, for example you cannot help smelling and seeing. Thus, being forced to depend only on your hearing is very frustrating. This research wants to adapt, for visually impaired people, a new software, TactoWeb which allows an audio-tactile exploration of the web. As TactoWeb was conceived for blind people, there is no visual element. TactoWeb is a nonlinear screen reader designed to read the elements depending on where they are on the page. By answering the principal needs mentioned by blind people, TactoWeb could be an excellent product. Therefore, our hypothesis is that a nonlinear and tri-modal exploration of a web site is more efficient and satisfying than a bimodal. As many people are first visually impaired before being completely blind, we worked on a version, TactoColor, which would suit their special needs. We added visual elements (links, menu, button) that should make any exploration easier. We asked two groups of visually impaired to test both programs, one starting with TactoWeb and the others with TactoColor, in order not to favor any version. We analyzed the quality of the exploration, its efficacy and efficiency by looking at how long the participants took to fulfill their task and whether or not they found it easy. Thanks to these data, we were able to determine that participants completed their tasks faster. The exploration was also easier thanks to the colors which helped them understand the organization of the elements of the page. However, it is difficult to say if the colors make completion easier because the participant’s results are too different.

Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérification des protocoles :<ul><li>traitement des primitives cryptographiques : chiffrement CBC, signatures en aveugle;</li><li>propriétés de sécurité : secret fort, existence de cycles de clefs;</li><li>approches pour la sécurité : construction de protocoles sûrs.</li></ul>Ainsi, nous avons montré la décidabilité (d'une part) de l'existence de cycles de clefs et (d'autre part) du secret pour des protocoles utilisant le mode de chiffrement CBC ou des signatures en aveugle. Nous avons aussi transféré la sécurité des protocoles d'un cadre faible vers un cadre plus fort dans les sens suivants. D'une part, nous avons montré qu'une propriété de secret faible implique sous certaines hypothèses une propriété de secret plus forte. D'une autre part, nous avons construit des protocoles sûrs à partir de protocoles ayant des propriétés plus faibles.

La technologie des antennes réseaux occupe une place croissante dans les applications aéroportées modernes militaires et civiles car elle offre des performances radioélectriques et des capacités d'intégration aux porteurs inenvisageables avec d'autres technologies. Ces performances sont couplées à des contraintes liées au couplage entre éléments rayonnants ou en termes d'intégration sur des petits porteurs. Ces deux contraintes peuvent être palliées à l'aide de surfaces à haute impédance (SHI) pouvant traduire le comportement d'un conducteur magnétique artificiel et/ou la capacité à interdire la propagation des ondes de surface dans une bande de fréquence. Les travaux présentés dans ce manuscrit ont pour objectif de présenter l'apport des SHI sur la conception de réseaux compacts et d'antennes réseaux ultra large bande. Après une introduction aux SHI, une présentation de modèles analytiques, numériques et expérimentaux a été présentée. Une partie des travaux est consacrée à l'étude du couplage mutuel entre deux antennes imprimées espacées l'une de l'autre d'une demi-longueur d'onde. Par la suite les différentes contributions apportées par les SHI, lorsqu'elles sont employées comme réflecteur, sur une antenne réseau ultra large bande sont montrées. Une modélisation analytique de l'antenne réseau placée au-dessus de réflecteurs à haute impédance est validée par des simulations numériques. Les SHI montrent qu'il est possible de créer des bandes passantes supplémentaires instantanées et agiles en fréquences permettant d'augmenter la bande passante initiale de l'antenne réseau. De plus elles permettent de réduire considérablement l'encombrement et d'obtenir une bande agile unique.

Nous nous sommes intéressés à la "plasticité" comportementale de l'individu dès lors qu'il est privé de vision dès la naissance. Plus spécifiquement, nous avons étudié la façon dont cet individu pouvait se représenter mentalement l'espace dans lequel il évolue, et la façon dont il pouvait bénéficier des informations provenant des autres sens. Il s'agissait de comprendre si des étapes indispensables dans la construction des représentations mentales opéraient dès le plus jeune âge, et dans quelle mesure la plasticité comportementale/cérébrale pouvait pallier cette privation visuelle précoce. Trois séries d'expériences ont été proposées à des participants non-voyants de naissance, non-voyants tardifs, voyants privés de vision, et voyants gardant les yeux ouverts. La première consistait en une tâche d'exploration mentale, la seconde en une tâche de comparaison mentale des distances. Dans ces deux expériences, les participants apprenaient la configuration d'un environnement spatial par description verbale ou par exploration tactile. La dernière série d'expériences avait pour objectif d'examiner si l'immersion des individus dans l'environnement à mémoriser pouvait améliorer leurs performances. Nous avons conçu une plate-fore de Réalité Virtuelle en "audio 3D", permettant de générer un environnement spatial composé de sources sonores virtuelles dans lequel les individus avaient la possibilité de se déplacer. Les résultats suggèrent que la taille de la configuration initiale n'a pas d'effet sur le traitement des relations spatiales, même si les personnes non-voyantes précoces font plus d'erreurs d'évaluation des distances sur des configurations de petite taille.

Dans les communications coopératives, deux ou plusieurs terminaux de transmissionsont combinés pour accroître la diversité et/ou la puissance des signaux arrivant à un récepteur. Récemment, l'analyse tensorielle s'est avérée une approche efficace pour l'estimation de canaux dans les systèmes coopératifs. Cependant, parmi les quelques travaux consacrés à cette tâche, l'utilisation de la décomposition tensorielle PARAFAC pour modéliser les signaux reçus ne permet pas l'estimation conjointe des symboles et des canaux de communication. Afin d'éviter l'utilisation de séquences de symboles pilotes, l'objectif de cette thèse est de fournir de nouvelles approches tensorielles, en termes de systèmes de transmission et de récepteurs semi-aveugles, pour des systèmes de communication MIMO avec relai mono-directionnels, à deux sauts. Deux systèmes de transmission sont proposés en utilisant un codage spatio-temporel du type Khatri-Rao et deux stratégies de traitement Amplify-and-Forward (AF) au relai. Pour ces systèmes, appelés PT2-AF et NP-AF, les signaux reçus au niveau de la destination satisfont respectivement des modèles tensoriels du type PARATUCK2 et nested PARAFAC. En exploitant les propriétés d'unicité de ces modèles tensoriels établies dans la thèse, plusieurs récepteurs semi-aveugles sont dérivés. Certains de ces récepteurs sont du type ALS, tandis que d'autres sont des solutions non itératives basées sur des factorisations de produits de Khatri-Rao. Des résultats de simulation sont présentés pour illustrer les performances des récepteurs proposés qui sont comparés à des estimateurs supervisés. / In cooperative communication systems, two or more transmitting terminals arecombined to increase the diversity and/or the power of the signals arriving at aparticular receiver. Recently, the so-called tensor analysis has been an efficient approach for channel estimation in systems with cooperative diversity. However, among the few works devoted to this task, the utilization of the PARAFAC tensor decomposition for modeling the received signals did not allow the development of techniques for joint symbol and channel estimation. Aiming to avoid the use of pilot-based sequences, the objective of this thesis is to provide new tensor-based strategies, including transmission systems and semi-blind receivers, for one-way two-hop relaying systems. Based on a Khatri-Rao space-time coding at the source and two different Amplify-and-Forward (AF) relaying strategies, two transmission systems are proposed. For these systems, named PT2-AF and NP-AF, the received signals at the destination node follow respectively a PARATUCK2 and a nested PARAFAC tensor model. Exploiting uniqueness properties of these tensor models which are established in the thesis, several semi-blind receivers are derived. Some of these receivers are of iterative form using an ALS algorithm, whereas some other ones are close-form solutions associated with Khatri-Rao factorizations. Some simulation results are finally presented to illustrate the performance of the proposed receivers which are compared to some state-of-the-art supervised techniques.

No description available.

Le développement des systèmes de communication et de localisation et les progrès des dispositifs mobiles rendent possible la mise en œuvre de nouvelles applications et services, permettant l'accès à des informations temps réel et l'amélioration de l'intégration des personnes aveugles. Dans ce contexte, la thèse a contribué au développement d'un système d'information et de guidage destiné aux personnes aveugles dans les transports en commun. La thèse a porté sur deux aspects critiques de ce type de systèmes: la fiabilité de la transmission de données et la capacité à localiser et à guider l'utilisateur de manière robuste. Elle a d'autre part développé un environnement de simulation pour le prototypage et l'analyse du fonctionnement de l'application nomade ainsi que l'étude des aspects réseaux de communication mobile. Les travaux se sont appuyés sur les acquis des projets RAMPE et INFOMOVILLE