Analysis of the Security of BB84 by Model Checking

Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was noted that quantum computers could break public key cryptosystems based on number theory extensive studies have been undertaken on QKD. Based on quantum mechanics, QKD offers unconditionally secure communication. Now, the progress of research in this field allows the anticipation of QKD to be available outside of laboratories within the next few years. Efforts are made to improve the performance and reliability of the implemented technologies. But several challenges remain despite this big progress. The task of how to test the apparatuses of QKD For example did not yet receive enough attention. These devises become complex and demand a big verification effort. In this paper we are interested in an approach based on the technique of probabilistic model checking for studying quantum information. Precisely, we use the PRISM tool to analyze the security of BB84 protocol and we are focused on the specific security property of eavesdropping detection. We show that this property is affected by the parameters of quantum channel and the power of eavesdropper.Comment: 12 Pages, IJNS

IMPACT ANALYSIS OF BLACK HOLE ATTACKS ON MOBILE AD HOC NETWORKS PERFORMANCE

A Mobile Ad hoc Network (MANET) is a collection of mobile stations with wireless interfaces which form a temporary network without using any central administration. MANETs are more vulnerable to attacks because they have some specific characteristics as complexity of wireless communication and lack of infrastructure. Hence security is an important requirement in mobile ad hoc networks. One of the attacks against network integrity in MANETs is the Black Hole Attack. In this type of attack all data packets are absorbed by malicious node, hence data loss occurs. In this paper we investigated the impacts of Black Hole attacks on the network performance. We have simulated black hole attacks using Network Simulator 2 (NS-2) and have measured the packet loss in the network without and with a black hole attacks. Also, we measured the packet loss when the number of black hole attacks increases

Néphrectomie bilatérale de sauvetage compliquant une sclérose tubéreuse de Bourneville

La sclérose tubéreuse de Bourneville (STB) est une phacomatose autosomique dominante en rapport avec la mutation de deux gènes suppresseurs de tumeurs TSC1 et TSC2. L'atteinte cutanée et neurologique est constante, celle des reins ou de la rétine est fréquente. Une patiente âgée de 28 ans, suivie depuis l'enfance pour STB retenue devant l'association d'atteinte neurologique (tubers corticaux compliqués d'épilepsie), cutanée (tubers faciaux, tâches achromiques), hépatique, splénique et rénale (angiomyolipomes). La patiente fut admise aux urgences pour choc hémorragique objectivant à la TDM abdominale de volumineux angiomyolipomes rénaux bilatéraux spontanément hyperdenses évoquant un saignement intralésionel (A). Par ailleurs, on notait des angiomyolipomes hépatiques, un épanchement intrapéritonéal et une thrombose de la veine cave inférieure. Une embolisation de l'artère rénale était tentée sans succès (B). L'évolution était marquée par l'apparition d'un syndrome de compartiment avec une détresse respiratoire et hémodynamique ayant motivé une néphro-surrénalectomie bilatérale d'hémostase en urgence. Un traitement de suppléance de la fonction rénale est initié par hémodialyse dans l'attente d'une transplantation rénale, ainsi qu'une corticothérapie substitutive de la fonction surrénalienne. L'atteinte rénale doit être dépistée précocement et comprend des angiomyolipomes et/ou des kystes rénaux. La présence de plages de nécrose ou d'hémorragie doit faire éliminer un carcinome rénal. Les principaux diagnostics différentiels sont la neurofibromatose type 1 et 2 et la maladie de Von Hippel Lindau. Le pronostic dépend de la sévérité des symptômes et de leur évolution imprévisible. La recherche médicale est toujours d'actualité pour retarder au maximum la survenue de tumeurs

Analyse et Interprétation des Données Magnétiques au Sol du Secteur NNE d’Achemmach (Maroc central)

La région NNE d’Achemmach se situe à 40 km environ au SSW de la ville de Meknès et à 6 km au NE de la mine d’El Hammam. Elle fait partie du massif paléozoïque du Maroc central. Géologiquement, le secteur est formé de deux ensembles paléozoïques : (i) Un ensemble méta-sédimentaire composé de 2 unités : l’une calcaire et shisto-gréseuse d’âge Viséen moyensupérieur et l’autre flyschoïde d’âge Viséen supérieur-Namurien, et (ii) un ensemble magmatique matérialisé par des roches volcaniques (basaltes en coussins), des roches hypo-volcaniques (dolérites) et des roches plutoniques (gabbros à olivine). Structuralement, les terrains du Viséen-Namurien de la région NNE d’Achemmach sont affectés par l’évènement majeur namurowestphalien de l’orogenèse hercynienne (raccourcissement NW-SE). Celui ci est responsable d’un plissement synchisteux d’orientation générale NE-SW à NNE-SSW, de cisaillements NE-SW d’ampleur régionale, du développement de failles NE-SWà NNE-SSWsubparallèles à la schistosité et de failles N130 à N150 à jeu senestre. Une campagne géophysique par magnétisme du champ total a été réalisée sur ce secteur. Le recoupement des données de cette campagne avec les données géologiques montre: i) une anomalie bien marquée à l’ouest du secteur, qui coïncide avec l’affleurement des roches basiques et des pélites verdâtres encaissantes. Celle-ci pourrait être originaire soit d’une richesse des roches basiques (gabbros, laves basiques et les dolérites)en minéraux magnétiques (magnétite),soit d’une différence de susceptibilité magnétique entre les différents faciès, soit encore d’un corps magnétique perturbateur non affleurant à la surface ; et ii) une anomalie à l’est, de moindre extension, et qui coïncide globalement avec la zone de cisaillement NE-SW mettant en contact les flyschs du Viséen supérieur-Namurien à l’est et la série calcaire et gréso-pélitique à volcanisme du Viséen moyen-supérieur à l’ouest. Cet axe anomalique pourait être dû à une grande différence de susceptibilité magnétique entre les formations en contact. Cependant l’expression de l’anomalie uniquement dans la partie sud de la zone de cisaillement mais pas dans sa partie nord, fait penser à une source autre que la différence de susceptibilité magnétique telle qu’une concentration de minéraux magnétiques (pyrrhotite, magnétite…). The Achemmach mining field is about 40 km fromthe SSWof the city of Meknes and 6 km NE of the El Hammam mine. Our study area is located in the NNE of this mining zone. It is in the Paleozoic massif of the Central Morocco. Geologically, the area is made up of two Paleozoic groups: (i) A metasedimentary set which is composed of two units: limestone and shallysandstone of the Upper Middle ages and the other flyshoid of the Upper Visean-Namurian ages, and (ii) a magmatic set that ismaterialized by volcanic rocks (pillow basalt), hypo-volcanic rocks (dolerite) and plutonicrocks (olivine gabbros). Structurally, the Visean-Namurian formations of the NNE region of Achemmach are affected by the major Namuro-Westphalian event of hercynian orogenesis, characterized by NW-SE shortening.This event is responsible for a general NE-SW to NNE-SSW folding, NE-SW shearat regional-scale, development of NE-SW to NNE-SSW subparallel to schistosity and N130 to N150sinistral faults. A geophysical survey by groundbased magnetism of the total field was carried out on this area. Crossreferencing of geophysical and geological data showed: i) a well-defined anomaly to the west of the area, which coincides with the outcrop of basic rocks and surrounding greenish pelites. This could be either from a richness of basic rocks (gabbros, basic lava and dolerites) in magnetic minerals (magnetite),or from a difference in magnetic susceptibility between the different facies, or from a disturbing magnetic body not flush at the surface; and ii) an anomaly to the east, of lesser extent, which generally coincides with the NE-SW shear zone bringing together the flysches of the Upper Visean- Namurien to the east and the limestone and sandstone volcano series of the Middle Upper Visean to the west. This anomalous axis could be due to a large difference in magnetic susceptibility between superimposed formations. However, the expression of the anomaly only in the southern part of the shear zone but not in its northern part suggests a source other than the difference in magnetic susceptibilitysuch as a concentration of magnetic minerals (pyrrhotite, magnetite...)

Competitive kinetics study of sulfide oxidation by chlorine using sulfite as reference compound

International audienceTo design and optimize hydrogen sulfide scrubbers working with chlorine, the knowledge of the kinetics of the hydrogen sulfide oxidation is necessary. In this work, the kinetics of the hydrogen sulfide oxidation by sodium hypochlorite was experimentally investigated using a reactor without headspace (100 mL gas-tight syringe) and the competitive kinetics method. The sulfite ion was selected as the reference compound. First, the apparent stoichiometries of sulfite anion and hydrogen sulfide chlorinations were determined performing single-compound experiments. Then, the kinetics of the hydrogen sulfide chlorination was studied in the pH range 6-12 performing simultaneous sulfite and sulfide chlorinations. The results demonstrated that sulfide and sulfite oxidation kinetic rates have the same order of magnitude, which validates the choice of the sulfite anion as the reference compound. Kinetic simulations emphasized that the kinetic rates of the oxidation of both compounds were limited by acid-base reactions. The sulfide oxidation in the pH range 6-12 is mainly due to the hydrosulfide (HS−) oxidation by the hypochlorous acid (ClOH) with an associated kinetic constant of 1.2 × 109 L mol−1 s−1 at 25 °C

Islamic capital market industry in nation development

Capital market refers to long-termfinancial market assets consisting of debt instrument involve both government and private sectors that have an expected maturity for more than one year and corporate stocksthat do not have fixed maturities and also the futures commodity.The main important elements of capital markets is the equity capital associated with individual or institutional owner ship over the shares of the company.It also includes capital debts related to business loans and financing for infrastructure development purposely for Asia until year 2000 and it is expecting to reach at least USD1 trillion. Based on record, Malaysia's herself requires an amount of RM550 billion to be successful for the Seventh Malaysia Plan (1996-2000) ago. Thus,this paper will discuss the contribution of the capital market industry towards the development of the economy mainly from the Islamic capital perspectives.The early results indicated that Islamic capital market possessed an optimistic contribution which is equally impressive as conventional capital market in contributing to the development of acountry