Bagaimana Anda bisa memaksa suatu pihak untuk jujur (mematuhi aturan protokol)? Saya telah melihat beberapa mekanisme seperti komitmen, bukti dan lain-lain, tetapi mereka tampaknya tidak menyelesaikan seluruh masalah. Sepertinya saya bahwa struktur desain protokol dan mekanisme tersebut...
Dalam makalah dari Adi Shamir [1] dari 1979 ia menunjukkan, bahwa anjak piutang dapat dilakukan dalam sejumlah langkah aritmatika polinomial . Fakta ini disajikan kembali, dan dengan demikian menjadi perhatian saya, dalam makalah Borwein dan Hobart baru-baru ini [2] dalam konteks program garis...
Singkatnya: Dengan asumsi permutasi satu arah ada, dapatkah kita membangun yang tidak memiliki pintu jebakan? Info lebih lanjut: Permutasi satu arah adalah permutasi yang mudah dihitung, tetapi sulit untuk dibalik (lihat wiki tag fungsi satu arah untuk definisi yang lebih formal). Kami biasanya...
baru-baru ini, Craig Gentry menerbitkan skema enkripsi kunci publik pertama (lebih dari ruang plaintext {0,1}) yang sepenuhnya homomorfis, yang berarti bahwa seseorang dapat mengevaluasi secara efisien dan kompak AND dan XOR pada plaintext terenkripsi tanpa mengetahui kunci dekripsi rahasia. Saya...
Pertanyaan ini muncul dalam konteks kriptografi, tetapi di bawah ini saya akan menyajikannya dalam hal teori kompleksitas, karena orang-orang di sini lebih mengenal yang terakhir. Pertanyaan ini terkait dengan Masalah dalam NP tetapi tidak dalam Average-P / poly dan Beating Nonuniformity oleh...
Wikipedia - SHA-2 mengatakan SHA-224 identik dengan SHA-256, kecuali bahwa: nilai variabel awal h0 hingga h7 berbeda, dan output dibangun dengan menghilangkan h7. RFC3874 - Sebuah 224-bit Fungsi Hash satu arah: SHA-224 mengatakan Penggunaan nilai awal yang berbeda memastikan bahwa...
Background––––––––––––––Background_\underline{\bf Background} Pada tahun 2005, Regev [1] memperkenalkan masalah Learning with Errors (LWE), generalisasi dari Learning Parity with Error error. Asumsi kekerasan masalah ini untuk pilihan parameter tertentu sekarang mendasari bukti keamanan untuk...
Apakah ada keluarga aksi kelompok yang diketahui dengan elemen yang ditunjuk dalam set yang sedang ditindaklanjuti, di mana diketahui cara efisien \: sampel (pada dasarnya seragam) dari kelompok, menghitung operasi terbalik, \: hitung operasi grup, dan hitung aksi grup dan tidak ada algoritma...
Asumsi Diffis-Hellman Decisional , atau singkatnya DDH, adalah masalah terkenal dalam kriptografi. Asumsi DDH berlaku pada kelompok siklik dari urutan (prima) , jika untuk generator , dan untuk secara acak memilih \ mathbb {Z} _q $$, pasangan berikut tidak dapat dibedakan (untuk algoritma...
Sebuah kode otentikasi pesan (MAC) didefinisikan oleh tiga algoritma yang efisien , yang memenuhi berikut (definisi diambil dari bagian 4.3 dari Katz -Lindell book ):(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) Pada input , algoritma menghasilkan kunci...
Misalkan ada pihak , masing-masing dengan sedikit . Saya ingin menghitung penggandaan jumlah yang kali dari nol, yaitu, .N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) Perhitungan harus aman dalam arti bahwa tidak ada pihak bisa...
Banyak hasil dalam kriptografi bergantung pada hasil / dugaan ketidakmungkinan dalam teori kompleksitas. Sebagai contoh, kriptografi kunci publik menggunakan RSA diyakini dimungkinkan karena dugaan tentang tidak layaknya anjak piutang (dan masalah pencarian akar modular). Pertanyaanku adalah :...
Alice ingin mendapatkan pesan kepada sejumlah besar orang yang hidup di bawah pemerintahan yang senang sensor, yang dijalankan oleh Hawa. Cara tradisional untuk melakukan ini adalah samizdat, tetapi proses itu mengharuskan setiap orang menyampaikan pesan untuk mengambil risiko tertentu. Akan...
Saya ingin tahu apakah ada makalah tentang kemampuan data gambar yang diubah steganografi untuk mempertahankan integritasnya setelah di-encode ulang ke dalam format yang berbeda (misalnya, dari PNG ke JPEG). Apakah ini sifat yang melekat dalam implementasi steganografi yang baik, atau apakah ini...
Di kertas "tanda tangan pendek dari pasangan Weil" oleh Boneh, Lynn dan Shacham, saya akan melalui bukti keamanan sama seperti tanda tangan lainnya. Namun teknik yang digunakan dalam tulisan ini cukup unik. Alih-alih menggunakan penantang normal dan interaksi musuh, mereka membagi bukti menjadi 6...
Apakah ada perangkap-pintu-seperti fungsi yang kompleksitas encoding adalah waktu polinomial nk1nk1n^{k_{1}} dan pembalik kompleksitas (tanpa kunci rahasia) juga merupakan fungsi polinom panjang masukan nk2nk2n^{k_{2}} dengan k1< < K2k1<<k2k_{1}
Saya ingin tahu pentingnya TCS dalam penelitian Malware. Karena volume besar varian malware baru yang diterima per hari (~ 50.000 sampel / hari menurut McAfee), peneliti malware sangat bergantung pada analisis dinamis (yaitu menjalankan sampel dalam kotak pasir dan memantau perilaku mereka) dan...
Bukti Pengetahuan Concurrent Zero bersamaan dengan Logarithmic Round-Complexity Nomor halaman berasal dari kertas itu sendiri, dan bukan pdf. Dari halaman 3, "Sebuah sistem bukti interaktif dikatakan kotak hitam (komputasi) nol pengetahuan jika ada polinomial mesin waktu oracle...
Apakah ada protokol kriptografi yang, setidaknya secara teori (dan berdasarkan asumsi kriptografi standar) memungkinkan orang untuk memilih dengan aman dari rumah mereka? Saya dapat melihat bagaimana berbagai masalah dapat diatasi (seperti: mencegah orang memilih dua kali, menghasilkan bukti bahwa...