Door Anoniem: Door Anoniem: Door Anoniem: Op
https://www.fisme.science.uu.nl/nwd/nwd2001/produkten/melissen.pdf is het dictaat inleiding informatie theorie te downloaden.
De informatie -theorie is een absolute theorie met eeuwige geldigheid.
ICT-systemen waarvan de informatie bewijsbaar veilig is conform de informatie-theorie is ook door een inlichtingendienst niet te kraken.
Dank voor de link. Het dictaat is uit 2001 maar dit is niet erg omdat zoals hierboven is uitgelegd nformatie-theorie een absolute theorie met eeuwig durende geldigheid is.
Op
http://xitip.epfl.ch/ kun je een information-theoretic prover vinden waarmee je met informatie kunt rekenen.
Hieronder als voorbeeld een informatie-theoretisch bewijs met XITIP van de challenge-response authenticatie, zie
https://nl.wikipedia.org/wiki/Challenge_response-authenticatieDe response K = F (R), waarbij R = I xor P, F is een HASH functie, P de challenge en I een private key.
Bewijs met XITIP:
De informatie-theoretische randvoorwaarden voor dit challenge-response protocol zijn:
// De Hash functie:
H(K|R,F)=0
H(R|K,F)=H(R)
H(F)=0
H(K)=H(R|F)
// De xor functie
H(I|P,R)=0
H(R|I,P)=0
H(P|I,R)=0
// De private key I en de challenge P zijn onafhankelijk
I(I;P)=0
Met bovenstaande randvoorwaarden kun je met XITIP bewijzen dat:
H(I|K,P) = H(I), dus als de gegenereerde response K lekt dan lekt er niets van de private key I.
H(K|P,F) = H(I), de response K heeft dezelfde entropie als de private Key I.
Dank voor het voorbeeld. Hierbij nog een voorbeeld van een informatie-theoretisch bewijs met XITIP, shamir secret sharing,
https://en.wikipedia.org/wiki/Shamir%27s_Secret_SharingHet geheim S moet worden verdeeld in 3 delen: X, Y en Z.
Het schema moet voldoen aan devolgende criteria:
1. S kan ontsleuteld worden uit willekeurige 2 van de 3 delen X,Y en Z
2. Geen informatie van S kan verkregen worden uit een willekeurig deel X, Y en Z.
De informatie-thoeretische randvoorwaarden van dit schema zijn:
H(S|X,Y)=0
H(S|Y,Z)=0
H(S|X,Z)=0
I(S;X)=0
I(S;Y)=0
I(S;Z)=0
We zijn geinteresseerd in de maximale waarde c in
H(X)+H(Y)+H(Z) >= cH(S)
Met XITIP blijkt dat c de waarden 0..3 kan hebben.