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

On the strongly ambiguous classes of some biquadratic number fields

We study the capitulation of ideal classes in an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $k =Q(\sqrt{2pq}, i)$, where $i=\sqrt{-1}$ and $p\equiv -q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that each strongly ambiguous class of $k/Q(i)$ capitulates already in $k^{(*)}$, which is smaller than the relative genus field $\left(k/Q(i)\right)^*$

On some metabelian 2-group whose abelianization is of type (2, 2, 2) and applications

Let $G$ be some metabelian $2$-group satisfying the condition $G/G'\simeq \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. In this paper, we construct all the subgroups of $G$ of index $2$ or $4$, we give the abelianization types of these subgroups and we compute the kernel of the transfer map. Then we apply these results to study the capitulation problem of the $2$-ideal classes of some fields $\mathbf{k}$ satisfying the condition $\mathrm{G}al(\mathbf{k}_2^{(2)}/\mathbf{k})\simeq G$, where $\mathbf{k}_2^{(2)}$ is the second Hilbert $2$-class field of $\mathbf{k}$.Comment: in Journal of Taibah University for Science (2015

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

On the Hilbert 22-class field tower of some abelian 22-extensions over the field of rational numbers

summary:It is well known by results of Golod and Shafarevich that the Hilbert $2$-class field tower of any real quadratic number field, in which the discriminant is not a sum of two squares and divisible by eight primes, is infinite. The aim of this article is to extend this result to any real abelian $2$-extension over the field of rational numbers. So using genus theory, units of biquadratic number fields and norm residue symbol, we prove that for every real abelian $2$-extension over $\mathbb Q$ in which eight primes ramify and one of theses primes $\equiv -1\pmod 4$, the Hilbert $2$-class field tower is infinite