Je hebt een klacht over de onderstaande posting:
Hieronder een voorbeeld Informatie-Theoretisch bewijs van een van de security functies uit de hierboven aangehaalde Freemove Quantum Exchange. 1. Bewijsbaar veilige uitwisseling van Keys 1a) Randvoorwaarden De source S moet deterministisch encrypt kunnen worden tot E met de Key K: H(E|KS)=0 De encrypte tekst E moet deterministisch gedecrypt kunnen worden to de Sourse S met key K: H(S|EK)=0 De source mag onafhankelijk gekozen worden van de encrypte tekst: I(S;E)=0 1b) Te bewijzen Er lekt niets uit van de gebruikte Key K, gegeven de encrypte tekst E: I(K;E)=0 a3. Bewijs >> ITIP('I(K;E)=0','H(E|KS)=0','H(S|EK)=0','I(S;E)=0','H(S)=H(K)'); True Dit bewijs geeft aan dat als de entropie van de Key K en de Source S even groot zijn er niets uitlekt van de Key K, gegeven de encrypte tekst E. 2. Key uitwisseling blijft veilig na uitwisseling van meerdere Keys. b1. Gegeven Een Key uitwisselings functie met: a) Keys K en L welke gedeeld moeten worden tussen zender en ontvanger. b) ...
Beschrijf je klacht (Optioneel):