Computerwissenschaften cryptography

1

Unterbrechen Sie ein Authentifizierungsprotokoll, das auf einem vorinstallierten symmetrischen Schlüssel basiert

Betrachten Sie das folgende Protokoll zur Authentifizierung von (Alice) gegenüber (Bob) und umgekehrt.AAABBB A→B:B→A:A→B:“I'm Alice”,RAE(RA,K)E(⟨RA+1,PA⟩,K)A→B:“I'm Alice”,REINB→EIN:E(REIN,K)EIN→B:E(⟨REIN+1,PEIN⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, K) \\ A \to B: &\quad E(\langle R_A+1, P_A\rangle, K) \\ \end{align*} RRR ist eine zufällige Nonce. KKK ist ein …

13 cryptography protocols authentication

1

Überprüfung der Sicherheit des Pseudozufallszahlengenerators von Nisan-Wigderson

Sei ein partielles -Design und sei eine Boolesche Funktion. Der Nisan-Wigderson-Generator ist wie folgt definiert: ( m , k ) f : { 0 , 1 } m → { 0 , 1 } G f : { 0 , 1 } l → { 0 , 1 } nS={Si}1≤i≤nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq …

13 cryptography pseudo-random-generators

2

Wie verschlüsselt ein WLAN-Passwort Daten mit WEP und WPA?

Wie verschlüsselt das eingegebene Passwort (um eine Verbindung zu einem drahtlosen Netzwerk herzustellen) die Daten im drahtlosen Netzwerk? Beim Lesen bin ich mir nicht sicher, ob das eingegebene Passwort mit der Passphrase übereinstimmt. Wenn das stimmt, wie kann die Passphrase dann die vier WEP-Schlüssel generieren? Ich verstehe, wie die vier …

12 cryptography computer-networks encryption security

5

Wie wird der Schlüssel in einem Verschlüsselungsprotokoll für private Schlüssel ausgetauscht?

Windows NT verwendete ein Punkt-zu-Punkt-Protokoll, bei dem ein Client "sicher" mit einem Server kommunizieren kann, indem er eine Stream-Verschlüsselung verwendet, um ein Array von Nachrichten mit einem Schlüssel zu verschlüsseln kkk. Der Server verschlüsselt auch seine Antwort mit demselben Schlüssel kkk . Aber woher weiß es um diesen Schlüssel? Allgemeiner: …

12 cryptography encryption

2

Können Sie verhindern, dass ein Mann in der Mitte die Nachricht liest?

Ich habe von all diesen Man-In-The-Middle-Angriffsverhinderungen gehört und frage mich, wie dies möglicherweise funktionieren kann, wenn der Mann in der Mitte nur auf Ihren Stream hört und die Nachricht selbst nicht ändern möchte. Kann der Mann in der Mitte nicht einfach die von den Gegnern getauschten Schlüssel nehmen, die Schlüssel …

10 cryptography security

2

Schwache Hashing-Funktion für einprägsame IPv6-Adressen

IPv6-Adressen in Form von 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0sind viel schwerer zu merken oder sogar zu transkribieren als die 4 Oktette von IPv4. Es hat schon versucht , dies zu mildern, so dass IPv6 - Adressen irgendwie unvergesslich. Gibt es eine absichtlich schwache Hashing-Funktion, die umgekehrt werden könnte, um festzustellen, dass die Phrase "Dies …

10 cryptography computer-networks hash user-interface

2

Was ist der Unterschied zwischen klassischer Krypto und Post-Quanten-Krypto?

Wird es notwendig sein, die Definitionen von Sicherheit zu ändern, wenn wir Quantencomputer haben? Welche kryptografischen Konstruktionen werden brechen? Kennen Sie eine Umfrage oder einen Artikel, in dem erläutert wird, was geändert werden muss?

10 reference-request cryptography quantum-computing

1

Wie kann man die Komplexität des diskreten Logarithmusproblems messen?

Die Antworten auf diese Frage in Crypto Stack Exchange besagen im Wesentlichen, dass wir zur Messung der Komplexität des Logarithmusproblems die Länge der Zahl berücksichtigen müssen, die die Größe der Gruppe darstellt. Es scheint willkürlich, warum wählen wir nicht die Größe der Gruppe als Argument? Gibt es ein Kriterium, um …

9 time-complexity discrete-mathematics cryptography

6

Könnten Programmüberprüfungstechniken das Auftreten von Fehlern des Genres Heartbleed verhindern?

In Bezug auf den Heartbleed-Bug schrieb Bruce Schneier in seinem Crypto-Gram vom 15. April: "Catastrophic" ist das richtige Wort. Auf der Skala von 1 bis 10 ist dies eine 11. ' Ich habe vor einigen Jahren gelesen, dass ein Kernel eines bestimmten Betriebssystems mit einem modernen Programmüberprüfungssystem rigoros überprüft wurde. …

9 cryptography correctness-proof security software-verification program-correctness

2

Welche Mathematik kann für diese CS-Bereiche interessant sein?

Für meinen CS-Abschluss hatte ich den größten Teil des "normalen" mathematischen Hintergrunds: Kalkül: Differential, Integral, Komplexe Zahlen Algebra: so ziemlich die Konzepte bis zu den Feldern. Zahlentheorie: XGCD und ähnliches, hauptsächlich für Krypto. Lineare Algebra: bis zu Eigenvektoren / Eigenwerten Statistik: Wahrscheinlichkeiten, Tests Logik: Satz, Prädikat, Modal, Hybrid. Meine Hauptinteressen …

9 artificial-intelligence cryptography discrete-mathematics

1

Ist WPA2 mit vorinstalliertem Schlüssel ein Beispiel für einen wissensfreien Beweis?

Wenn Sie einen Zugangspunkt einrichten und WPA2 auswählen, müssen Sie einen vorinstallierten Schlüssel (ein Kennwort), PSK, sowohl in den AP als auch in die STA manuell eingeben. Beide Parteien, AP und STA, müssen sich gegenseitig authentifizieren. Aber sie müssen dies tun, ohne die PSK preiszugeben. Beide müssen der anderen Partei …

9 cryptography security authentication

1

Angriff auf Hash-Funktionen, die die Einweg-Eigenschaft nicht erfüllen

Ich überarbeite gerade für einen Computersicherheitskurs und bin bei einer der letzten Fragen festgefahren. Hier ist es: Alice ( ) möchte eine kurze Nachricht an Bob ( ) senden, indem sie ein gemeinsames Geheimnis , um zu bestätigen, dass die Nachricht von ihr stammt. Sie schlägt vor, eine einzelne Nachricht …

9 cryptography hash one-way-functions

1

Ausdruckskraft moderner regulärer Ausdrücke

Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

Ausführen eines Algorithmus für Daten aus der Ferne und Sicherstellen, dass die Antwort nicht manipuliert wurde

Ich habe jahrelang über dieses spezielle Computer- / Krypto- / Datenbankproblem nachgedacht und möchte nur wissen, ob es bereits Lösungen dafür gibt. Um ehrlich zu sein, weiß ich nicht einmal genau, zu welchem Bereich dieses Problem gehört. Kurz gesagt: Person A verfügt über eine Datenliste, eine andere Person (B) über …

8 cryptography security protocols encryption

1

Gibt es einen kontinuierlichen Hash?

Fragen: Kann es einen (kryptografisch sicheren) Hash geben, der die Informationstopologie von ?{0,1}∗{0,1}∗\{0,1\}^{*} Können wir eine effizient berechenbare Nähe Prädikat , das weitergegeben wurden und (oder selbst) sagt uns , wenn ist sehr nahe an (zB die Levenshtein - Distanz oder Hamming - Distanz von und kleiner als ein fester …

8 complexity-theory cryptography hash string-metrics topology

Als «cryptography» getaggte Fragen