«cr.crypto-security» etiketlenmiş sorular

sık sık bazı keyfi bilgileri imzalamak için MD5 algoritmasını kullanırken, paylaşılan sırrın sonunda olması gerektiği söylenir. Neden?

16 hash-function  cr.crypto-security 

Anlayabildiğim kadarıyla, QKD'nin neredeyse tüm uygulamaları hata düzeltme için Brassard ve Salvail'in CASCADE algoritmasını kullanıyor . Bu, rasgele kubitlerin paylaşılan bir sıralamasında hataları düzeltmek için gerçekten en iyi bilinen yöntem mi yoksa bunun yerine QKD uygulamalarının kullanılması gereken daha iyi bir öneri var mı?

14 cr.crypto-security  quantum-computing  quantum-information 

Bazı şifreleme modellerini gözden geçiriyorum. Yetersizliğini göstermek için, grafik izomorfizmine dayanan bir protokol düzenledim. "Grafik İzomorfizm sorununun zor örnekleri" üretebilen BPP algoritmalarının varlığını varsaymak "sıradan" (henüz tartışmalı!). (İzomorfizmin bir tanığı ile birlikte.) Benim onaylanan protokolümde, bir ek gereksinimi karşılayan bu tür BPP algoritmalarının varlığını kabul edeceğim: Üretilen grafiklerdir olsun ve …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

Tamamen işlevsel bir ortamda, tek başına bağlı olmayan listeyi düşünün. Övgüler dağ tepelerinden söylenmiştir ve söylenmeye devam edecektir. Burada birçok güçlü yönünden birini ve bunun ağaçlara dayanan daha geniş bir tamamen işlevsel sekans sınıfına nasıl genişletilebileceği sorusunu ele alacağım. Sorun şudur: O (1) zamanında neredeyse kesin yapısal eşitliği güçlü bir …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

Birçok ortak anahtarlı şifreleme sisteminin bir tür kanıtlanabilir güvenliği vardır. Örneğin, Rabin şifreleme sistemi muhtemelen faktoring kadar zordur. AES gibi gizli anahtar şifreleme sistemleri için bu tür kanıtlanabilir bir güvenliğin var olup olmadığını merak ediyorum. Değilse, bu tür şifreleme sistemlerini kırmanın zor olduğuna dair kanıtlar nelerdir? (deneme yanılma saldırılarına karşı …

14 cr.crypto-security  algebra  algebraic-complexity 

Asimetrik kriptografi ile ilişkili bir gözlem, bazı fonksiyonların bir yönde gerçekleştirilmesinin (ancak inandığı) ancak tersine çevrilmesinin zor olmasıdır. Ayrıca, ters işlemin hızlı bir şekilde hesaplanmasını sağlayan bazı 'tuzak' bilgileri varsa, sorun ortak anahtar şifreleme şemasına aday olur. RSA tarafından ünlü yapılan klasik trapdoor problemleri, faktoring problemini ve ayrık log problemini …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

Rafael Pass, "Ortak Referans Dizesinde ve Rastgele Oracle Modelinde İnkar Edilebilirlik Üzerine" başlıklı bir makalede şunları yazıyor: RO [Random Oracle] modelindeki standart sıfır bilgi tanımına göre güvenliği kanıtlarken, simülatörün düz bir model simülatöre göre iki avantajı olduğunu, Simülatör, partilerin kâhini hangi değerleri sorguladığını görebilir. Simülatör, cevapları "göründüğü" sürece, bu sorguları …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

In HAC (10.4.2) bölüm 10 , biz kare kökler faktör zor bir kompozit modulo çıkarma (farz) kullanırken zorluk sıfır bilgi kanıta dayalı iyi bilinen Feige-Fiat-Shamir kimlik protokolünü görüyoruz. Şemayı kendi sözlerimle vereceğim (ve umarım doğru olur). Daha basit bir şema ile başlayalım: , faktoringin çekilemez olduğu kadar büyük boyutta bir …

12 cr.crypto-security  proofs  zero-knowledge 

Gelen Minik Şifreleme Algoritması : Mermilerin simetrisine dayanan basit saldırıları önlemek için farklı bir sihirli sabitin katları kullanılır. Sihirli sabiti, 2654435769 veya 9E3779B9 16 olacak şekilde seçilir 232/ϕ232/ϕ2^{32}/ \phi , φ altın oranıdır. 232/ϕ232/ϕ2^{32}/ \phi bu bağlamda faydalı kılan hangi özelliklere sahiptir?

12 cr.crypto-security 

DES'in S-Box'larında 6 bit değerleri 4 bit değerlerle eşlerken veriler kaybolmaz mı? Öyleyse, nasıl doğru çıktı elde edeceğiz?

12 cr.crypto-security 

Gizli paylaşım şeması kavramı genellikle Shamir (A. Shamir, Bir sır nasıl paylaşılır , Comm. ACM, 22 (1979), s. 612-613.) Ve Blakey (GR Blakey, Kriptografik anahtarların korunması , Proc. NCC, cilt 48, 1979, sayfa 313-317.). Genel bir fikir bazı gizli S yerine her bir payın ler almak katılımcılardan gizlenmiş olmasıdır i …

12 cr.crypto-security  application-of-theory 

Sabit derinlikteki devreleri kandırmakla ilgili birkaç sorum var. O bilinen tarzında bağımsızlık gerekli aptal bir Cı 0 derinliği devreleri d , burada n, giriş boyutudur. Bunu nasıl ispatlayabiliriz?logO(d)(n)logO(d)⁡(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Yukarıdakiler doğru olduğu için, d derinliği devrelerini kandıracak herhangi bir sözde jeneratörün mutlaka tohum uzunluğu l = Ω ( log d ( …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

Bitcoin protokolünü hesaplamalı kriptografik güvenlik bağlamında anlamaya çalışıyorum. Soru, bitcoin'deki kriptografi makalelerinin temellerine referans bir talep. İlk sorum, soyut kriptografik protokol bitcoin'in uygulamaya çalıştığı şey mi? Kriptografide bitcoin yakalayan elektronik para / dijital para birimi tanımımız var mı? Güvenli bir elektronik para için güvenlik gereksinimleri nelerdir? Cevabınız evet ise, eBay …

11 reference-request  cr.crypto-security 

Bazı bilgiler: Hatalarla Öğrenme (LWE) sorunu için "daha az bilinen" düşük sınırlar (veya sertlik sonuçları) ve halkalar üzerinde Hatalarla Öğrenme gibi genellemeleri bulmakla ilgileniyorum. Spesifik tanımlar, vb. İçin, Regev'in güzel bir araştırması: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE tarzı varsayımın standart tipi (belki de kuantum) (belki de ideal) kafeslerdeki En Kısa Vektör Problemine …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

1975 yılında, Miller göstermiştir tamsayıdır ve çarpanlara azaltmak için nasıl süresi bulma bir fonksiyonu bu şekilde F (x + r) = f (x) bazı rastgele seçilmiş bir <N ile . Shor'un algoritmasının kuantum bilgisayarda r'yi etkili bir şekilde bulabildiği iyi bilinirken, klasik bir bilgisayarın r'yi bulması için inatçı olduğuna inanılmaktadır …

11 cc.complexity-theory  cr.crypto-security  factoring