機能 / スマートフォンでサインイン
あなたのスマートフォンでしか開かないパスワード。
保存したパスワードは一つずつ、あなたのスマートフォンだけが作れる鍵で暗号化されます。鍵が作られるのは、スマートフォンがあなた本人だと確かめたあとだけです。PC は鍵を保存していないので、PC を盗まれても、ディスクを複製されても、パスワードは出てきません。
0
盗まれた PC や複製されたディスクから出てくるパスワードの数
その画面だけ
パスワードは求めた画面にだけ届き、ほかへは行かない
回数に上限
一定の時間に届く確認の数に上限があるので、プログラムが根負けを狙えない
どう動くのか
求める、承認する、入力する
1
求める
検証済みの HTTPS のサインイン画面が求めます。ZENOS のブラウザに 2 桁の番号が出ます。
- 信頼しない証明書の画面は、ここまで来ません
2
承認する
スマートフォンに、サイト、アカウント、三つの番号が出ます。PC に出ている番号をタップし、指紋か顔で認証します。
- スマートフォンのパスキーは、この依頼にだけ署名します
3
入力する
鍵は一度きりの鍵に向けて暗号化されて届き、パスワードは同じタブの同じ画面に入力されます。
- どの依頼にも、答えるのは一度だけです
証明していること、していないこと
渡すかどうかは、数学で決まる
Lean 4 で証明済み
毎回のビルドで検査
- パスワードが渡されるのは、保存したときと同じ画面に、検証済みの TLS で、時間内に、登録したスマートフォンが本人確認のうえでまさにその依頼に署名したときだけ
- どの依頼にも答えるのは一度だけ。答えの使い回しも、間違えた番号のやり直しもできない
- プログラムがどれだけ依頼を送っても、一定の時間にスマートフォンに届く確認の数には上限がある
証明ではなく信頼しているもの
テストし、一覧にして公開
- パスキーの署名、スマートフォンの PRF、ECDH と HKDF
- ソフトウェアと仮想のパスキーでテスト済みで、実機のスマートフォンではまだ試していない
- 承認している最中に、すでに乗っ取られている PC
プレビュー版で試す
自分で試す
1
スマートフォンを登録する
管理者が一度きりの登録コードを出し、ZENOS Messages で登録します。
2
パスワードを保存する
ZENOS のブラウザでサイトにサインインし、保存します。
3
もう一度サインインする
番号を合わせてスマートフォンで承認すると、画面に入力されます。