This report presents an approach to reinforce the security of the L-band Digital Aeronautical Communications System (LDACS) by developing and testing an enhanced protocol model. We have created a protocol model of MAKE, Mutual authentication and Key Exchange, based on the paper "Enhancing Cybersecurity for LDACS: a Secure and Lightweight Mutual Authentication and Key Agreement Protocol" by Suleman Khan, Gurjot Singh Gaba, Andrei Gurtov, in which the research paper addresses the security challenges inherent in LDACS. Using the open-source tool Tamarin Prover, we analysed and simulated the protocol to evaluate its effectiveness against posing threats. In this paper, our methodology involves an understanding of the MAKE protocol's architecture, identifying vulnerabilities and modeling in Tamarin Prover, to strengthen the security of LDACS. We developed two models of the protocol. The test consisted of four different lemmas and revealed partial verification of the two models, but with different outcomes. Some aspects of the model were proven to be true. Therefore, further research needs to be done to successfully validate these lemmas to ensure the robustness and reliability of the analyzed security protocol, MAKE.

La presente tesis realiza el análisis y evaluación de los determinantes del Factoring Internacional aplicado al sector Agropecuario y cómo contribuye en el financiamiento a corto plazo en el proceso de internacionalización de las Pymes Agroexportadoras del Perú. En el primer capítulo se describirá el marco teórico de los temas básicos que abarca esta investigación científica. En el segundo capítulo se plantea la problemática, se establece la hipótesis general y las hipótesis específicas de la presente tesis, así como el objetivo principal, y los objetivos específicos. En el tercer capítulo se desarrollará la metodología de trabajo, la cual explicará cómo será el alcance y diseño de la investigación, la operacionalización de las variables respecto a la población y tamaño de la muestra, los instrumentos metodológicos para el recojo de la investigación, que constará de una primera etapa cualitativa y una segunda etapa cuantitativa. Seguidamente en el cuarto capítulo se desarrollará la aplicación principal mediante la herramienta cualitativa enfocada en las entrevistas a profundidad. Finalmente, para el quinto capítulo se analizarán los resultados cuantitativos, los cuales se interpretarán mediante un modelo de regresión lineal simple utilizando los programas econométricos de SPSS y Eviews a través de diferentes pruebas. / This thesis carries out the analysis and evaluation of the determinants of International Factoring applied to the agricultural sector and how it contributes to short-term financing in the process of internationalization of Agro-exporting SMEs in Metropolitan Lima. In the first chapter, the theoretical framework of the basic topics covered by this scientific research will be described. In the second chapter the problem is posed, the general hypothesis and the specific hypotheses of the present thesis are established, as well as the main objective and the specific objectives. In the third chapter, the work methodology will be developed, which will include the scope and design of the research, the operalization of the variables with respect to the population and size of the sample, the methodological instruments for the collection of the research. Which will consist of a qualitative first stage and a second quantitative stage. Then, in the fourth chapter, the main application will be developed through the qualitative tool focused on in-depth interviews. Finally, for the fifth chapter, the quantitative results will be analyzed, which will be interpreted through a simple linear regression model in the statistical programs of SPSS and Eviews through different tests. / Tesis

Cette thèse se décompose en deux parties : i) l’étude du creusement d'un canal dans un plasma sous-dense (0.1nc<n<nc, nc étant la densité critique) de plusieurs centaines de microns par une impulsion laser de durée 1-10 ps et d'intensité 10^18 à 10^20 W/cm² ; ii) les mécanismes de saturation de la diffusion Raman arrière stimulée d'une impulsion laser de durée ps et d'intensité 10^14 à 10^16 W/cm². Le creusement d’un canal plasma par un laser très intense a fait l’objet d’une étude paramétrique à l’aide d’un code PIC (Particle In Cell) 2D. On obtient différents types de canaux en fonction des paramètres du laser et du plasma, reproduisant ainsi et élargissant des résultats précédent. De plus, la vitesse de creusement du canal a été mesurée, et des lois d’échelle ont été établies pour les plasmas homogènes. Elles sont ensuite appliquées à des plasmas inhomogènes, du type de ceux rencontrés lors de la fusion par confinement inertiel (FCI). Cela permet de prévoir l’énergie nécessaire pour creuser un canal jusqu’à la densité critique, étape importante de la FCI par allumage rapide. La saturation du Raman a été étudiée d'un point de vue numérique, pour déterminer si la cause de la saturation était due au déphasage ou à la croissance d'une onde satellite (« sideband »), en utilisant diverses approches. La première est de regarder les résultats de simulations Raman (donc électromagnétiques) à partir de codes cinétiques PIC et Vlasov. La deuxième, consiste à regarder ce qui se passe lorsque l'on initialise un plasma avec une fonction de distribution issue de la théorie adiabatique à l'aide d'un code Vlasov (donc dans une version purement électrostatique). Dans ce cas, on observe bien la croissance d'une onde satellite, dont le nombre d'onde dominant, ainsi que le taux de croissance sont en bon accord avec ce que l'on observe dans les simulations cinétiques. Au final, la saturation de l’onde plasma peut être causée par les deux mécanismes de saturation. / This thesis is divided in two parts : i) the laser channeling in hundreds of microns long under-dense plasmas (0.1nc<n<nc, nc being the critical density) of a laser pulse of intensity 10^18 to 10^20 W/cm² and duration 1-10 ps; ii) the saturation mechanisms of stimulated Raman back-scattering of a laser pulse of intensity 10^14 to 10^16 W/cm² and duration of about 1 ps. A parametric study was performed to study the channeling of a very intense laser pulse, using a 2D PIC (Particle In Cell) code. Various kinds of channels were obtained depending on the laser and plasma parameters, thereby reproducing and enlarging previous studies. Moreover, the channeling velocity was measured and scaling laws were established for homogeneous plasmas. They are then applied to inhomogeneous plasmas, similar to those encountered in inertial confinement fusion (ICF). It is then possible to estimate the energy necessary to channel to the critical density, an important step for the fast ignition scheme of ICF. Raman saturation was studied using numerical simulations, in order to determine if it is due to dephasing or to the growth of sidebands, using different approaches. The first is to study Raman simulations (electromagnetic) performed with kinetic PIC and Vlasov codes. The second, is to study the evolution of a plasma initialized with a distribution function after the adiabatic theory, using a Vlasov code (electrostatic). In this case, we observe the growth of a sideband, with dominant wavenumber and growth rate in good agreement with kinetic simulations. The saturation of the plasma wave can be caused by both saturation mechanisms.

Se aborda en esta investigación el régimen jurídico de los lugares de culto, con especial referencia a la Comunitat Valenciana, desde la perspectiva de su consideración como elemento imprescindible para el desarrollo de la libertad de culto. Se estudian las posibilidades de colaboración de las Administraciones Públicas con las confesiones religiosas en lo referente a dichos inmuebles, siempre manteniendo a salvo la aconfesionalidad estatal, pero sin que ello implique obviar el deber constitucional de cooperar con dichas entidades. Se analiza la cuestión desde todas las ramas del Derecho que pueden tener incidencia, abordando materias propias del Derecho Eclesiástico, Constitucional, Urbanístico, Civil, Tributario y Penal. Por último, se realiza una propuesta para la regulación de los lugares de culto en el ámbito territorial de la Comunitat Valenciana (si bien, en principio, podría resultar aplicable a cualquier otra región española), con el doble objetivo de remover obstáculos para la implantación de lugares de culto y favorecer, con ello, la efectiva práctica de la libertad de culto por parte de los ciudadanos.

Ce manuscrit est dédié au transport relativiste cinétique sous influence de champs magnétiques, identifié comme obstacle pour la modélisation et la simulation intégrée, dans le cadre de la Fusion par Confinement Inertiel (FCI). Une réalisation importante concerne le développement d'un code déterministe de référence, 2Dx-3Dv, de type Maxwell-Fokker-Planck-Landau, permettant la prise en compte de fonctions de distribution à large degré d'anisotropie. Ce travail se situe à l'interface de l'analyse numérique, des mathématiques appliquées, et de la physique des plasmas. Un deuxième résultat marquant concerne la dérivation d'un modèle collisionel multi-échelle, pour le transport d'électrons relativistes dans la matière dense. Des processus importants sont mis en évidence pour la FCI, et une analogie est menée vis-à-vis des processus de transport collisionels connus en radiothérapie. Enfin, un modèle mésoscopique aux moments angulaires, avec fermeture entropique, a été dérivé et utilisé pour le dépôt de dose pour la radiothérapie. Des schémas numériques précis, d'ordre élevé, et robustes, ont été développé dans ce cadre.

Le Commissariat à l'Energie Atomique et aux Energies Alternatives (CEA) construit actuellement en France le Laser Mégajoule (LMJ) qui devrait permettre d'obtenir la fusion par confinement inertiel avec gain, en attaque indirecte. Afin d'atteindre l'ignition thermonucléaire, la compression d'une cible sphérique devra être contrôlée par une série de chocs centripètes dont la chronométrie et le niveau seront précisément maîtrisés. Une première expérience, menée en 2010 sur la Ligne d'Intégration Laser (LIL) au CEA, dans le cadre de la campagne de chronométrie de chocs, nous a permis d'étudier la coalescence de deux chocs plans dans une cible de polystyrène en attaque indirecte. L'objectif était de valider le concept expérimental et les simulations numériques, démontrant le principe de campagnes futures qui devront à terme permettre d'atteindre les précisions souhaitées sur les temps et les vitesses. A cette fin, nous avons mis en oeuvre des diagnostics vélocimétriques (Velocity Interferometer System for Any Reflection - VISAR) et de visualization de débouché de choc, en prenant en compte les problèmes optiques liés au rayonnement X. En parallèle une expérience menée au Laboratoire pour l'Utilisation des Lasers Intenses (LULI) en 2010, nous a donné l'occasion d'étudier la chronométrie de deux chocs plans en attaque directe grâce aux mêmes diagnostics. Cette dernière étude se rattache au concept d'allumage par choc, dans un but, à terme, de production d'énergie. Cette thèse présente ces deux expériences, avec leurs résultats.

Ce travail estime le potentiel des plasmas de striction magnétique (Z-pinches) pour le chauffage de cavités radiatives à haute température (>200eV). Des modèles simples sont fournis pour calculer les performances atteignables avec des courants de 5 à 100 MA en 100 ns. La physique monodimensionnelle à l'échelle de l'épaisseur du plasma et les instabilités hydrodynamiques sont étudiées. Puis l'amélioration des performances des cavités avec une double coquille ou l'installation d'un champ magnétique axial est analysée. L'attaque directe par un Z-pinch d'une cible de fusion par confinement inertiel est enfin considérée. Tous les résultats présentés reposent sur une approche théorique et numérique (bidimensionnelle) et sur l'exploitation de résultats expérimentaux obtenus sur le générateur américain "Z". Les annexes rappellent les équations de la MHD radiative et vérifient leur validité pour les plasmas de striction magnétique.

Le Commissariat à l'Energie Atomique et aux Energies Alternatives (CEA) construit actuellement en France le Laser Mégajoule (LMJ) qui devrait permettre d'obtenir la fusion par confinement inertiel avec gain, en attaque indirecte. Afin d'atteindre l'ignition thermonucléaire, la compression d'une cible sphérique devra être contrôlée par une série de chocs centripètes dont la chronométrie et le niveau seront précisément maîtrisés. Une première expérience, menée en 2010 sur la Ligne d'Intégration Laser (LIL) au CEA, dans le cadre de la campagne de chronométrie de chocs, nous a permis d'étudier la coalescence de deux chocs plans dans une cible de polystyrène en attaque indirecte. L'objectif était de valider le concept expérimental et les simulations numériques, démontrant le principe de campagnes futures qui devront à terme permettre d'atteindre les précisions souhaitées sur les temps et les vitesses. A cette fin, nous avons mis en oeuvre des diagnostics vélocimétriques (Velocity Interferometer System for Any Reflection - VISAR) et de visualization de débouché de choc, en prenant en compte les problèmes optiques liés au rayonnement X. En parallèle une expérience menée au Laboratoire pour l'Utilisation des Lasers Intenses (LULI) en 2010, nous a donné l'occasion d'étudier la chronométrie de deux chocs plans en attaque directe grâce aux mêmes diagnostics. Cette dernière étude se rattache au concept d'allumage par choc, dans un but, à terme, de production d'énergie. Cette thèse présente ces deux expériences, avec leurs résultats.

No description available.

Une bonne compréhension des interactions entre les ondes à la fréquence cyclotronique ionique (FCI) (40-80MHz) et le plasma de bord est nécessaire pour injecter de fortes puissances dans un plasma de fusion en continu. Les objectifs de cette thèse étaient de modéliser séparément, avec Comsol Multiphysics, mais de façon compatible le couplage d'ondes et la formation de gaines radiofréquences (RF), qui rétroagissent sur le couplage, pour aboutir à terme à une modélisation auto-cohérente. Modéliser le couplage de l'onde rapide nécessite une description détaillée de l'antenne émettrice (2D ou 3D) et du plasma environnant par une approche pleine onde en plasma froid. L'absorption des ondes sortant du domaine de simulation est émulée par des couches parfaitement adaptées, rendues compatibles avec un tenseur diélectrique plasma. Les tendances expérimentales des résistances de couplage des antennes de Tore Supra sont qualitativement reproduites mais l'efficacité de couplage est surestimée. Parallèlement une description novatrice auto-cohérente, incluant les effets des gaines RF, de la propagation de l'onde lente et de la polarisation DC (Direct Current) du bord d'un plasma magnétisé a été développée avec le minimum d'ingrédients physiques. Dans le cas des antennes Tore Supra, le couplage du code avec TOPICA a permis d'expliciter qualitativement certaines observations inattendues sur un écran de Faraday dont le schéma électrique visait à minimiser les gaines RF. Un transport de courants DC dans la SOL est apparu nécessaire pour expliquer les structures radiales des mesures. Les barreaux coupés sont les éléments de l'antenne responsable de l'augmentation du potentiel plasma / A correct understanding of the interactions between the edge plasma and the ion cyclotron (IC) waves (40-80MHz) is needed to inject reliably large amount of power required for self-sustainable fusion plasmas. These thesis objectives were to model separately, with Comsol Multiphysics, but in compatible approaches the wave coupling and the radio-frequency (RF) sheath formation to anticipate development of a single code combining both. Modelling of fast wave coupling requires a detailed description of the antenna (2D or 3D) and of the plasma environment by a full wave approach for a cold plasma. Absorption of outgoing waves is emulated by perfectly matched layers, rendered compatible with a plasma dielectric tensor. Experimental trends for the coupling resistance of the antennas of Tore Supra are qualitatively reproduced but the coupling efficiency is overestimated. In parallel a novel self-consistent description, including RF sheaths, of the interplay between the cold wave propagation and DC biasing of the magnetized edge plasma of a tokamak was developed with the minimum set of physics ingredients. For Tore Supra antenna cases, the code coupled with TOPICA allowed to unveil qualitatively some unexpected observations on the latest design of Tore Supra Faraday screens whose electrical design was supposed to minimize RF sheaths. From simulations, a DC (Direct Current) current transport appears necessary to explain the radial structures of measurements. Cantilevered bars have been identified as the design element in the antenna structure enhancing the plasma potential