Pengesahan kata laluan teks kekal sebagai kaedah utama untuk pengesahan pengguna walaupun terdapat kekurangan yang diketahui umum. Pertambahan perkhidmatan dalam talian telah meletakkan beban yang tidak mampan kepada pengguna, yang dijangka mencipta dan mengingati sejumlah besar kata laluan yang kuat dan unik. Kertas kerja ini memperkenalkan dan menghuraikan AutoPass, satu skim penjana kata laluan yang direka untuk menangani isu kritikal pengurusan kata laluan dengan menjana kata laluan kuat khusus tapak atas permintaan daripada input pengguna yang minimum.
Bahagian ini mewujudkan model formal untuk skim penjana kata laluan, membezakannya daripada pencipta kata laluan rawak mudah. Model ini mentakrifkan satu sistem yang boleh menjana semula kata laluan untuk tapak tertentu secara deterministik apabila diperlukan, berdasarkan set rahsia kecil yang dipegang pengguna.
Sebuah penjana kata laluan ditakrifkan sebagai skim di sebelah pelanggan yang memudahkan pengurusan kata laluan dengan menghasilkan kata laluan khusus tapak atas permintaan. Keperluan teras ialah kebolehulangan: input yang sama (rahsia pengguna + pengenal tapak) mesti sentiasa menghasilkan kata laluan output yang sama. Ini berbeza dengan pengurus kata laluan yang menyimpan kata laluan, kerana penjana menciptanya secara algoritma.
AutoPass adalah penjana kata laluan atas permintaan yang mensintesis kekuatan daripada skim terdahulu sambil memperkenalkan teknik baharu untuk mengatasi batasan mereka. Input utamanya ialah rahsia induk pengguna dan pengenal tapak/perkhidmatan (cth., nama domain). Ia mengeluarkan kata laluan kuat pseudo-rawak yang disesuaikan untuk tapak tertentu itu.
Kebaharuan Utama: AutoPass secara eksplisit menangani kekangan dunia sebenar yang diabaikan oleh banyak pendahulu, seperti perubahan kata laluan paksa, keperluan untuk menggabungkan kata laluan yang telah ditetapkan (cth., mandat korporat), dan pematuhan kepada pelbagai polisi kata laluan khusus tapak (panjang, set aksara).
Aliran kerja operasi AutoPass melibatkan beberapa peringkat:
AutoPass dianalisis terhadap satu set sifat yang diingini untuk penjana kata laluan:
Kertas kerja ini berhujah bahawa AutoPass berjaya menangani kelemahan yang terdapat dalam skim seperti PwdHash (pematuhan polisi terhad) dan SuperGenPass (kekurangan sokongan perubahan).
AutoPass mewakili satu langkah penting ke hadapan dalam reka bentuk penjana kata laluan praktikal. Dengan menspesifikasikan skim secara formal dan menganalisis sifat-sifatnya terhadap keperluan dunia sebenar, penulis menyediakan cetak biru untuk alat yang benar-benar dapat meringankan beban pengurusan kata laluan pengguna sambil mengekalkan piawaian keselamatan yang tinggi. Kerja masa depan termasuk pelaksanaan, kajian pengguna, dan bukti keselamatan formal.
AutoPass bukan sekadar satu lagi skim kata laluan; ia adalah pengakuan pragmatik bahawa paradigma kata laluan akan kekal dan pertempuran sebenar adalah dalam pengurusan, bukan penggantian. Penulis mengenal pasti dengan betul bahawa cadangan akademik terdahulu sering gagal dalam realiti kacau-bilau polisi kata laluan korporat dan tetapan semula mandatori. Pandangan teras mereka ialah penjana mesti menjadi penterjemah kriptografi yang sedar polisi, menukar satu rahsia kepada token yang mematuhi konteks.
Logik kertas kerja ini sangat bersih: 1) Takrifkan ruang masalah (titik kesakitan pengguna/perkhidmatan), 2) Wujudkan model formal untuk menilai penyelesaian, 3) Kenal pasti jurang dalam skim sedia ada, 4) Cadangkan sintesis (AutoPass) yang mengisi jurang tersebut dengan teknik baharu seperti pengindeksan polisi dan kaunter perubahan. Ini mengingatkan pendekatan berstruktur dalam karya asas seperti kertas kerja CycleGAN (Zhu et al., 2017), yang juga membina model baharu dengan jelas mentakrifkan batasan teknik terjemahan imej-ke-imej terdahulu dan menanganinya secara sistematik.
Kekuatan: Fokus pada kekangan dunia sebenar adalah ciri utamanya. Reka bentuk teknikal untuk mengendalikan perubahan kata laluan melalui kaunter mudah adalah elegan. Sifatnya di sebelah pelanggan, hanya algoritma, mengelakkan titik kegagalan tunggal dan isu penyegerakan pengurus kata laluan berasaskan awan seperti LastPass (seperti didokumenkan dalam insiden yang dilaporkan oleh blog Krebs on Security).
Kelemahan Kritikal: Kelemahan utama kertas kerja ini ialah kekurangan pelaksanaan konkrit yang telah disemak dan bukti keselamatan formal. Ia adalah spesifikasi, bukan alat yang terbukti. Pergantungan berat pada satu rahsia induk mencipta mod kegagalan bencana—jika dikompromi, semua kata laluan terbitan dikompromikan. Ini berbeza dengan token perkakasan atau piawaian FIDO2/WebAuthn, yang menawarkan rintangan phishing. Tambahan pula, seperti yang diperhatikan penyelidik di NIST, mana-mana penjana deterministik menghadapi cabaran jika polisi kata laluan tapak berubah secara retroaktif, berpotensi mengunci pengguna keluar.
Untuk pasukan keselamatan: Logik AutoPass bernilai untuk diintegrasikan ke dalam alat dalaman untuk membantu pekerja mengurus putaran kata laluan mandatori tanpa menggunakan nota pelekat. Konsep pengindeksan polisi boleh diintegrasikan ke dalam peti kata laluan perusahaan.
Untuk penyelidik: Langkah seterusnya mestilah bukti pengurangan keselamatan formal, mungkin memodelkan penjana sebagai Fungsi Pseudo-Rawak (PRF). Kajian pengguna adalah penting—adakah pengguna biasa mempercayai algoritma untuk "mengingati" kata laluan mereka? Ketegangan kebolehgunaan-keselamatan kekal.
Untuk industri: Walaupun AutoPass adalah tampalan yang bijak, ia tidak sepatutnya mengalih perhatian daripada keperluan untuk bergerak melampaui kata laluan. Ia berfungsi sebagai seni bina peralihan yang sangat baik sementara FIDO2 dan kunci laluan mendapat penerimaan. Fikirkannya sebagai tongkat kriptografi—berguna sekarang, tetapi matlamatnya adalah untuk menyembuhkan kaki patah (sistem kata laluan itu sendiri).
Jantung kriptografi AutoPass boleh diabstraksikan sebagai fungsi deterministik. Biarkan:
Langkah penjanaan teras menggunakan Fungsi Penurunan Kunci (KDF) dan Kod Pengesahan Mesej (MAC):
$ K = KDF(S, salt) $
$ R = HMAC(K, D \,||\, i \,||\, P) $
Di mana $||$ menandakan penyambungan.
Output mentah $R$ (rentetan bait) kemudian diubah oleh fungsi pemetaan yang mematuhi polisi $M(P, R)$ yang memastikan kata laluan akhir mengandungi jenis aksara yang diperlukan (huruf besar, huruf kecil, digit, simbol) secara deterministik. Contohnya, $M$ mungkin mengambil bait daripada $R$ modulo saiz set aksara yang mematuhi untuk memilih aksara, menjamin sekurang-kurangnya satu daripada setiap kelas yang diperlukan.
Kerangka untuk Menilai Penjana Kata Laluan:
Contoh Konseptual (Tiada Kod):
Bayangkan seorang pengguna, Alice. Rahsia induknya ialah "BlueSky42!@#".
Skenario 1 - Log masuk pertama kali ke `bank.com`:
Input: $S$="BlueSky42!@#", $D$="bank.com", $i=0$, $P$="Polisi_B: 12 aksara, semua jenis aksara".
AutoPass mengira $R$ secara dalaman dan menggunakan $M(Polisi_B, R)$ untuk output: `gH7@kL2!qW9#`.
Skenario 2 - Perubahan paksa di `bank.com` selepas 90 hari:
Input adalah sama kecuali $i=1$. Output baharu adalah kata laluan yang sama sekali berbeza dan mematuhi polisi: `T5!mR8@yV3#j`.
Skenario 3 - Log masuk ke `news.site` dengan polisi mudah:
$D$="news.site", $i=0$, $P$="Polisi_A: 8 aksara, huruf dan digit sahaja".
Output: `k9mF2nL8`.