Scienza del computer cryptography

1

Rompere un protocollo di autenticazione basato su una chiave simmetrica pre-condivisa

Considera il seguente protocollo, inteso per autenticare (Alice) in B (Bob) e viceversa.AAABBB A→B:B→A:A→B:“I'm Alice”,RAE(RA,K)E(⟨RA+1,PA⟩,K)A→B:“I'm Alice”,RAB→A:E(RA,K)A→B:E(⟨RA+1,PA⟩,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*} è un nonce casuale.RRR è una chiave simmetrica …

13 cryptography protocols authentication

1

Dimostrare la sicurezza del generatore di numeri pseudo-casuali di Nisan-Wigderson

Let essere un parziale ( m , k ) -design e f : { 0 , 1 } m → { 0 , 1 } una funzione booleana. Il generatore di Nisan-Wigderson G f : { 0 , 1 } l → { 0 , 1 } n è definito …

13 cryptography pseudo-random-generators

2

In che modo una password wifi crittografa i dati utilizzando WEP e WPA?

In che modo la password immessa (per connettersi a una rete wireless) crittografa i dati sulla rete wireless? Attraverso la mia lettura non sono sicuro che la password che inseriamo sia la stessa della passphrase. Se è corretto, allora come può la passphrase generare le quattro chiavi WEP? Capisco come …

12 cryptography computer-networks encryption security

5

Come viene scambiata la chiave in un protocollo di crittografia della chiave privata?

Windows NT utilizzava un protocollo point-to-point in cui un client può comunicare "in modo sicuro" con un server utilizzando un codice di flusso per crittografare una matrice di messaggi con una chiave kkk . Il server crittografa anche la sua risposta con la stessa chiave kkk . Ma come è …

12 cryptography encryption

2

Puoi impedire a un uomo in mezzo di leggere il messaggio?

Ho sentito parlare di tutte queste prevenzioni di Man-In-The-Middle Attack e mi chiedo come possa funzionare se l'uomo nel mezzo ascolta solo il tuo stream e non vuole cambiare il messaggio stesso. Può l'uomo nel mezzo non solo prendere le chiavi scambiate dagli avversari, cambiare le chiavi e quindi decifrare …

10 cryptography security

2

Funzione di hashing debole per indirizzi IPv6 memorizzabili

Gli indirizzi IPv6 sotto forma di 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0sono molto più difficili da memorizzare o addirittura trascrivere rispetto ai 4 ottetti di IPv4. Ci sono stati tentativi di mitigarlo, rendendo gli indirizzi IPv6 in qualche modo più memorabili. Esiste una funzione di hashing intenzionalmente debole che potrebbe essere invertita per scoprire che …

10 cryptography computer-networks hash user-interface

2

Qual è la differenza tra la crittografia classica e la crittografia post-quantistica?

Sarà necessario modificare le definizioni di sicurezza se disponiamo di computer quantistici? Quali costruzioni crittografiche si romperanno? Conosci un sondaggio o un articolo che spiega cosa sarà necessario cambiare?

10 reference-request cryptography quantum-computing

1

Come misurare la complessità del problema del logaritmo discreto?

Le risposte a questa domanda su Crypto Stack Exchange dicono sostanzialmente che, per misurare la complessità del problema del logaritmo, dobbiamo prendere in considerazione la lunghezza del numero che rappresenta la dimensione del gruppo. Sembra arbitrario, perché non abbiamo scelto la dimensione del gruppo come argomento? Esiste un criterio per …

9 time-complexity discrete-mathematics cryptography

6

Le tecniche di verifica del programma potrebbero impedire il verificarsi di bug del genere Heartbleed?

Sulla questione dell'insetto Heartbleed, Bruce Schneier scrisse nel suo Crypto-Gram del 15 aprile: "Catastrofico" è la parola giusta. Sulla scala da 1 a 10, questo è un 11. ' Ho letto diversi anni fa che un kernel di un determinato sistema operativo è stato rigorosamente verificato con un moderno sistema …

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

2

Quale matematica può essere interessante per queste aree CS?

Per la mia laurea in CS ho avuto la maggior parte del background matematico "standard": Calcolo: numeri differenziali, integrali, complessi Algebra: praticamente i concetti fino ai campi. Teoria dei numeri: XGCD e cose correlate, principalmente per criptovalute. Algebra lineare: fino agli autovettori / autovalori Statistiche: probabilità, test Logica: proposizionale, predicato, …

9 artificial-intelligence cryptography discrete-mathematics

1

WPA2 con chiave precondivisa è un esempio di prova a conoscenza zero?

Quando si imposta un punto di accesso e si seleziona WPA2, è necessario immettere manualmente una chiave precondivisa (una password), PSK, sia nell'AP che nell'STA. Entrambe le parti, AP e STA, devono autenticarsi a vicenda. Ma devono farlo senza rivelare il PSK. Entrambi devono dimostrare all'altra parte di conoscere il …

9 cryptography security authentication

1

Attacca le funzioni hash che non soddisfano la proprietà a senso unico

Mi sto rivedendo per un corso di sicurezza informatica e sono bloccato su una delle domande passate. Eccolo: Alice ( AAA ) vuole inviare un breve messaggio MMM a Bob ( BBB ) usando un segreto condiviso SabSabS_{ab} per autenticare che il messaggio è arrivato da lei. Propone di inviare …

9 cryptography hash one-way-functions

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

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

Eseguire un algoritmo sui dati in remoto e assicurarsi che la risposta non sia stata manomessa

Sto pensando a questo particolare problema di elaborazione / crittografia / database da anni e voglio solo sapere se ci sono già soluzioni. Ad essere sincero, non so nemmeno a quale campo appartenga esattamente questo problema. In breve: la persona A ha un elenco di dati, un'altra persona (B) ha …

8 cryptography security protocols encryption

1

C'è un hash continuo?

Domande: Può esserci un hash (crittograficamente sicuro) che preserva la topologia delle informazioni di {0,1}∗{0,1}∗\{0,1\}^{*}? Possiamo aggiungere un predicato di vicinanza calcolabile in modo efficiente quale dato hk(x)hk(x)h_k(x) e hk(y)hk(y)h_k(y) (o yyy stesso) ci dice se yyyè molto vicinoxxx (ad es. la distanza di Levenshtein o la distanza di Hamming …

8 complexity-theory cryptography hash string-metrics topology

Domande taggate «cryptography»