[Medboy224]

À fusionner après #250 (la sonde BLE, sur laquelle cette branche s'appuie).

Lot WP-D.1 du plan J6d : la conception du chemin par BLE, écrite dans la bible et prête pour la revue G4. Pas de code : il vient en WP-D.2 (cœur) et WP-D.3 (plateformes).

Ce que dit la conception (bible §6.6)

BLE ne sert qu'à mettre deux appareils sur un même réseau. L'un crée le réseau, l'autre en reçoit le nom et le mot de passe, chiffrés, et le rejoint. La session s'ouvre ensuite en TLS sur ce réseau, avec les règles habituelles. Aucune cryptographie nouvelle : CPace (déjà dans pkg/pake), HMAC-SHA-256, HKDF-SHA-256 et AES-256-GCM de la bibliothèque standard de Go.

• Annonce : l'UUID du service, rien d'autre (seul possible sous Windows, d'après la sonde).
• Reconnaissance : un défi frais, et en réponse 16 étiquettes, toujours 16 et dans un ordre aléatoire. Un appareil de confiance s'y reconnaît ; un inconnu ne voit que des valeurs aléatoires, et ne peut même pas compter les appareils de confiance.
• Appareil de confiance mutuelle : clés tirées par HKDF de la clé de la paire (DISC-11) et des deux défis. Un message enregistré ne peut pas être rejoué.
• Appareil inconnu : CPace avec le PIN, sans TLS. Le sid est fait des deux nonces (brouillon §10.9), et la clé tirée de l'ISK chiffre le réseau. Un seul PIN, un seul compteur d'essais, partagés avec le PIN sur TLS : la borne de 18 essais ne change pas. Sur le Wi-Fi, la connexion TLS épingle ensuite les empreintes authentifiées par BLE (pair_ble).
• Qui crée le réseau : celui qui peut le créer à 5 GHz, sinon à 2,4 GHz ; à égalité, l'appareil touché. Seul circule un réseau créé par medXfer, au mot de passe tiré à chaque démarrage, jamais le Wi-Fi de l'utilisateur.
• Jamais en clair sur BLE : une empreinte, un alias, un nom, un mot de passe.

Exigences BLE-01 à BLE-12. La bible gagne aussi :

• l'adversaire A7, à portée radio hors du réseau (§2) ;
• CHAN-04 complétée ;
• les secrets interdits dans les journaux (§13) ;
• 7 tests de sécurité (§14.1) ;
• les sources (annexe B), dont ce qui n'a pas été revérifié en ligne.

Trois écarts avec le plan

• Les empreintes ne sont pas dans le CI, contrairement au PIN sur TLS. Il aurait fallu les envoyer en clair avant l'échange, et une empreinte ne change jamais : n'importe qui à portée radio aurait pu suivre un appareil d'un lieu à l'autre en lui demandant un PIN. Elles passent chiffrées juste après la confirmation.
• Le code de pays ne circule pas : chaque côté dit seulement les bandes qu'il peut créer et rejoindre.
• D6, proposée : la demande d'un inconnu s'affiche avec le PIN et « Refuser », sans « Accepter » à part. Taper le bon PIN vaut accord, puisque seul celui qui voit l'écran le connaît. Aucun réseau n'est créé avant la vérification du PIN.

Dossier G4

• §3.7 : le chemin par BLE ;
• A7 dans le modèle de menace ;
• un nouvel usage de l'ISK, la seule modification de pkg/pake à venir ;
• questions 12 à 17 : empreintes hors du CI, séparation des clés, pas de confidentialité persistante sur le chemin de confiance (X25519 ?), nonce compté, suivi par BLE, demande de PIN par radio.

🤖 Generated with Claude Code