Adversarial audit of the remote-control model by a model not used in development
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 18/100
- issue の種類
- 機能追加
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- typescript
- 領域
- backend, documentation, security
調査の方向性
Read docs/specs/security-audit.md and the threat model sections named in the issue, then inspect remote-lib-common/src/security/ and the Hosted Relay, rendezvous, and account boundaries. Run an independent adversarial review without using the existing FAIL IF lines as prompts. Done means recording each finding and disposition, and documenting whether and how often the audit repeats.
索引モデルが issue の本文から書いたものです。
説明
The nightly audit (docs/specs/security-audit.md) checks every FAIL IF line in the domain specs, and the canary recall measures how often it catches a planted break. But the same model family wrote the specs, the code, and the audit prompts. A blind spot shared by all three would pass every night.
This issue tracks one independent, adversarial pass over the remote-control model, run by a model family that has not been used to develop or review Dormouse.
Scope
The parts where an end-to-end break would be silent:
- the Noise integration (
remote-lib-common/src/security/), and its one-channel-per-ceremony rule (docs/specs/remote-security-model.md-> "Trust Model"); - the WebAuthn presence binding inside that channel;
- key storage at both ends (
docs/specs/security-remote.md-> "Credentials at rest"); - the push construction (
docs/specs/remote-security-model.md-> "Push sealing"); - Hosted's Relay, rendezvous, and account boundaries (
docs/specs/security-hosted.md).
Approach
- Give it the code and the threat model, not our
FAIL IFlines. The point is to find what our checks never ask. - Ask for concrete attacks against each guarantee on /security, each with a reproduction or a reason it fails.
- Every finding either becomes a fix, a new
FAIL IFline with a canary seed, or an entry under "What is not defended" or "Known gaps".
Done when
- The pass has run, and its findings and their dispositions are recorded here.
docs/specs/security-audit.mdsays whether this repeats, and how often.
- 主要言語
- TypeScript
- スター
- 5
- フォーク
- 1
- 平均マージ
- 10時間 51分
- マージ済み PR（30日）
- 507
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
diffplug/dormouse のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
diffplug/dormouse#912 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 1〜2日 初心者へのやさしさ 25/100
diffplug/dormouse#1235 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 1〜2日 初心者へのやさしさ 48/100
diffplug/dormouse#1234 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
enhancement security
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
diffplug/dormouse#1166 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
security-audit-status
難易度 5/5 1週間以上 初心者へのやさしさ 5/100
diffplug/dormouse#1137 · コメント 42 件 ·
メンテナーはふだん 1 日以内に返信
diffplug/dormouse の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1〜3時間 初心者へのやさしさ 72/100
zts212653/clowder-ai#1678 ·
メンテナーはふだん 1 日以内に返信
-
good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 64/100
Progressive-Victory/the-website#680 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100