Pertanyaan yang diberi tag «security»

Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 3 tahun yang lalu . Dalam makalah Science 2016 " Realisasi algoritma Shal scalable " [ 1 ], penulis faktor 15 dengan hanya 5 qubit, yang lebih sedikit dari 8 qubit "diperlukan" …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Saat ini saya mengajar kursus kecil (Empat dua jam kuliah di tingkat Master) tentang Metode Logika dalam Keamanan , meskipun judul Metode Formal dalam Keamanan mungkin lebih tepat. Ini mencakup secara singkat topik-topik berikut (dengan metode logis terkait): Manajemen Hak Digital dan Penegakan Kebijakan (formalisasi umum, logika modal, penegakan via …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Algoritma hashing kata sandi yang umum digunakan bekerja seperti ini hari ini: Garam kata sandi dan beri makan ke dalam KDF. Misalnya, menggunakan PBKDF2-HMAC-SHA1, proses hashing kata sandi adalah DK = PBKDF2(HMAC, Password, Salt, ...). Karena HMAC adalah hashing 2 putaran dengan kunci empuk, dan SHA1 serangkaian permutasi, shift, rotasi, …

16 np-hardness  cr.crypto-security  np-complete  security 

Saya membaca "Kekerasan vs Keacakan" klasik oleh Nisan dan Wigderson. Misalkan , dan memperbaiki fungsi l : N → N . Mereka mendefinisikan keluarga fungsi G = { G n : B l ( n ) → B n } menjadi pseudorandom jika setiap sirkuit ukuran n yang kita milikiB={0,1}B={0,1}B=\{0,1\}l:N→Nl:N→Nl\colon …

16 cr.crypto-security  pseudorandomness  pseudorandom-generators  security 

Dalam tabel hash yang menyelesaikan tabrakan dengan linear probing, untuk memastikan kinerja yang diharapkan, perlu dan cukup bahwa fungsi hash berasal dari keluarga 5-independen. (Kecukupan: "Pemeriksaan linear dengan kemandirian yang konstan", Pagh et al. , Keharusan: "Pada k-Kemandirian yang Diperlukan oleh Pemeriksaan Linier dan Kemandirian Minwise", Pătraşcu dan Thorup )O …

14 ds.data-structures  hash-function  randomized-algorithms  security 

Pertanyaan berikut telah muncul beberapa kali saat menguji keamanan sistem atau model. Motivasi: Kelemahan keamanan perangkat lunak sering kali bukan berasal dari bug karena input yang valid, tetapi bug yang dihasilkan dari input tidak valid yang cukup dekat dengan input yang valid untuk melewati banyak pemeriksaan validitas langsung. Contoh klasiknya …

12 lo.logic  csp  security 

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 menjauh dari analisis statis dan Rekayasa terbalik …

8 cr.crypto-security  security 

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 belajar lebih banyak daripada hasil akhir . Sebagai contoh, tidak aman untuk melakukan jumlah yang aman, karena akan diketahui, dan jumlahnya …

8 cr.crypto-security  security