Files
revkit/docs/spec
tkgstratorandClaude Opus 4.6 caf4c86118 docs(spec): manifest リプレイ不可 + DH 秘密鍵 TEE 依存の課題を記載
- manifest リクエストはリプレイ不可 (HTTP 400, セッション期限切れ)
- appboot はリプレイ可 (リプレイ保護なし)
- DH 鍵生成が TEE (AppleTeeApiCryptoShim::dhKeyGen) 経由で OpenSSL フック不可
- 解決策: Frida で TEE dhKeyGen の返り値をフックして DH 秘密鍵を取得
- test_msl_manifest.py: appboot→セッション鍵→manifest POST の全フロー実装済み

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-10 01:34:24 +00:00
..