lehrkraefte:blc:informatik:glf20:robotik:modernecrypto:hashes:proximity-tracing [https://fginfo.ksbg.ch Fachgruppe Informatik der KSBG]

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Corona-Tracing-App ======
Diese Lektion basiert auf diesem Artikel von [[https://www.republik.ch/2020/04/16/so-funktioniert-eine-corona-tracing-app-die-ihre-privatsphaere-schuetzt|Republik.ch]]. Denselben Artikel als {{ :lehrkraefte:blc:informatik:glf19:hashing:so-funktioniert-eine-corona-tracing-app-die-ihre-privatsphaere-schuetzt.pdf |pdf download }}.

=== Zusammenfassung Zeitungsartikel ===
Dank Kryptografie lassen sich Begegnungen anonym und dezentral aufzeichnen und auswerten. Der Artikel zeigt, wie das funktioniert – in acht Schritten.

	1. Schlüssel (ID) generieren
	2. Sich bemerkbar machen
	3. Nach Angaben bitten
		○ einen Zeitstempel
		○ eine Prüfsumme
	4. Prüfsumme ausrechnen
		HMAC (ID + Zeitstempel) = Prüfsumme
	5. Angaben austauschen und z.B. 14 Tage speichern
	6. Bei Infektion: Infektion melden
		○ Nutzerin wählt die Option «Ich wurde infiziert». 
		○ Die App A schickt die geheime ID, an einen zentralen Server. 
		○ Das ist bzgl. Datenschutz unproblematisch, denn die ID ist nur eine zufällige Zeichenkette und lässt keine Rückschlüsse zu.
	7. IDs von Infizierten in alle Apps herunterladen
	8. Schlüssel und Schlösser abgleichen
		○ Wer die infizierte Person ist und ob sie sich beim Kontakt angesteckt haben könnte, muss sich die Anwenderin selbst überlegen.

=== Fazit ===
Die Frage, ob digitales Contact Tracing (nicht Contact Tracking) mit den Grundrechten vereint werden kann, hat somit eine eindeutige Antwort: ja. Rüstet man Smartphones mit Epidemie-Software aus, so landet man also nicht zwingend in einem Überwachungsstaat. Also Entscheidend ist, dass die Apps von Grund auf mit dem Ziel entwickelt werden, die Privatsphäre zu schützen (ohne Nennung von Namen oder zentraler Speicherung von persönlichen Daten). Und dass der Quellcode offen liegt, so dass Softwareentwickler:innen die Funktionsweise überprüfen können. 

===== Ablauf Lektion =====
  - [[https://youtu.be/OI7RBBSx510?t=72|Video]] (1min) von Ubique und obige Zusammenfassung wird vorgestellt)
  - Sie haben nun 20 Minuten Zeit um die Thematik vertieft zu studieren (lesen Sie insbesondere die "Ich wills genauer wissen" Abschnitte des Artikels der Republik). Falls Sie noch Zeit haben, können Sie noch die Leserkommentare zum Republik Artikel lesen oder diesen [[https://www.watson.ch/digital/schweiz/752276286-so-kannst-du-die-schweizer-corona-warn-app-schon-jetzt-herunterladen|Watson Artikel]]. 
  - Öffnen Sie TigerJython
  - Laden Sie den unten stehenden Python-Code herunter und öffnen Sie diesen mit TigerJython.
  - Folgen Sie der Aufgabenstellung in dieser Datei

===== Corona-Tracing Python-Code =====

<code python corona-tracing.py>

# Ganz ganz schlechter Hash weil
#   viel zu kurz (8 Stellen Hexadezimal -> nur 32 Bits)
#   wahrscheinlich einfach zurückrechenbar 
#     (man braucht nicht alles auszuprobieren, was aber auch schon praktikabel wäre)
def badHash(text):
    modulo = 2**31-1  # 8. Mersenne prime
    summe = 1234567
    counter = 12345
    for c in text:
        summe = (summe*ord(c)+counter) % modulo
        counter = (counter+65001)%modulo
        
    return "%08x" % summe

####################################################################################
###  Aufgabe 1: Wählen Sie ein Geheimnis, das Sie danach **nicht** mehr ändern.  ###
####################################################################################

geheimnis = "12345678"  # <- Das hier auf eine "zufällige" 8-stellige Zeichenkette ändern

####################################################################################
###  Aufgabe 2: "Treffen" Sie sich mit einer Mitschülerin                        ###
###  oder einem Mitschüler. Einigen Sie sich auf einen Zeitstempel HH:MM:SS      ###
###  tragen Sie diesen unten ein und berechnen Sie die Prüfsumme. Tauschen       ###
###  Sie die Ihre Prüfsummen (Output vom Programm) aus und tragen Sie diese      ###
###  unten in den Logs ein.                                                      ###
###  Wiederholen Sie das mit mindestens 3 weiteren Personen.
####################################################################################

zeitstempel = "12:34:56"

pruefsumme = badHash(zeitstempel+geheimnis)
print("Zeitstempel und Prüfsumme, die Sie so als ganze Zeile im privaten Chat übermitteln.")
print("['"+zeitstempel+"', '"+pruefsumme+"'],")

###
# Hier alle Zeitstempel und Prüfsummen Paare eintragen, die Sie übermittelt bekommen haben. 
###
logs = [
    ['12:34:56', '330c8639'],
]


####################################################################################
###  Aufgabe 3: Die ID einer positiven Person wird publiziert. Tragen            ###
###  Sie dieses hier ein. Das Programm berechnet alle Prüfsummen damit und wird  ###
###  ausgeben, ob Sie mit dieser Person Kontakt hatten oder nicht.               ###
###  Nur mit den Daten in diesem Programm können Sie die infizierte Person nicht ###
###  identifizieren. Mit zusätzlichen Daten über die Uhrzeit evlt. schon. Darum  ###
###  muss eine solche App OpenSource sein, damit überprüft werden kann, dass     ###
###  keine zusätzlichen Daten gespeichert werden.                                ###
####################################################################################

infiziert = "12345678"  # Das Geheimnis einer als infiziert gemeldeten Person eintragen


if infiziert != "12345678":
    print
    print("Überprüfung...")
    risk = False
    for l in logs:
        pruefsumme = badHash(l[0]+infiziert)
        if pruefsumme==l[1]:
            print("Oops! Sie hatten um %s Kontakt mit einer jetzt infiziert gemeldeten Person" % l[0])
            risk = True
    
    if not risk:
        print("Keine problematischen Kontakte gefunden")
    

</code>