66 research outputs found
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 , where and are different primes. For each of the three quadratic extensions
inside the absolute genus field of , we compute the capitulation
kernel of . Then we deduce that each strongly ambiguous class of
capitulates already in , which is smaller than the relative genus
field
On some metabelian 2-group whose abelianization is of type (2, 2, 2) and applications
Let be some metabelian -group satisfying the condition .
In this paper, we construct all the subgroups of of index or , 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 -ideal classes of some fields satisfying the condition
, where
is the second Hilbert -class field of .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 -class field tower of some abelian -extensions over the field of rational numbers
summary:It is well known by results of Golod and Shafarevich that the Hilbert -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 -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 -extension over in which eight primes ramify and one of theses primes , the Hilbert -class field tower is infinite
- β¦