PD-99 — Écran de connexion utilisateur (SRP-6a)¶

1. Objectif¶

Décrire de manière contractuelle et testable les règles fonctionnelles, de sécurité et d’expérience utilisateur relatives à l’écran de connexion de l’application mobile iOS ProbatioVault, permettant à un utilisateur déjà inscrit de s’authentifier via un mécanisme SRP-6a, dans le respect des exigences de sécurité, de conformité et de responsabilité utilisateur.

Cette spécification fait loi pour toute implémentation de la PD-99.

2. Périmètre / Hors périmètre¶

Inclus¶

• Authentification d’un utilisateur existant via email et mot de passe.
• Usage exclusif du protocole SRP-6a pour l’authentification.
• Écran de connexion principal de l’application mobile iOS.
• Connexion facilitée par biométrie, en tant qu’option.
• Gestion des messages d’erreur liés à la tentative de connexion.
• Paramétrage utilisateur relatif à l’activation/désactivation de la biométrie.

Exclu¶

• Inscription, création ou validation de compte utilisateur.
• Récupération, réinitialisation ou changement de mot de passe.
• Authentification via un autre mécanisme que SRP-6a.
• Gestion des politiques serveur (quotas, délais, verrouillage).
• Gestion des rôles et autorisations post-authentification.
• Optimisation des performances ou de la latence.

3. Définitions¶

4. Invariants (non négociables)¶

4.1 Précisions sur la différenciation visuelle (INV-05 / INV-06)¶

• Les modes « connexion fondatrice » et « connexion facilitée » doivent présenter au moins un élément visuel distinct parmi : libellé, titre, message d’aide, icône.
• La distinction doit être perceptible sans ambiguïté sur l’écran de login.
• Une fois l’utilisateur authentifié, aucun de ces éléments distinctifs ne doit persister ni être visible sur les écrans post-login.

5. Flux nominaux¶

Flux FN-01 — Connexion fondatrice¶

• L’utilisateur accède à l’écran de login.
• L’utilisateur saisit son email et son mot de passe.
• Le système engage un échange SRP-6a.
• Si l’authentification réussit, l’utilisateur est connecté.

Flux FN-02 — Connexion facilitée (biométrie)¶

• L’utilisateur accède à l’écran de login.
• L’utilisateur choisit l’option de connexion facilitée.
• Une authentification biométrique locale est demandée.
• Si elle réussit, l’utilisateur est connecté.

Flux FN-03 — Désactivation biométrie¶

• L’utilisateur accède aux paramètres.
• L’utilisateur désactive la biométrie globalement ou par appareil.
• Toute connexion ultérieure requiert une connexion fondatrice.

5bis. Diagrammes Mermaid¶

Diagramme d’états — Écran de connexion¶

L’écran de login possède 5 états distincts. Les transitions reflètent les invariants INV-05 (différenciation visuelle fondatrice/facilitée), INV-07 (biométrie optionnelle) et INV-06 (pas de persistance post-login).

stateDiagram-v2
    [*] --> EcranLogin : Ouverture app

    state EcranLogin {
        [*] --> ChoixMode
        ChoixMode --> SaisieFondatrice : Connexion fondatrice [INV-05]
        ChoixMode --> PromptBiometrie : Connexion facilitée [INV-05, INV-07]

        SaisieFondatrice --> EchangeSRP6a : Soumission email + mdp
        PromptBiometrie --> SaisieFondatrice : Biométrie refusée (ERR-03)
        PromptBiometrie --> Authentifie : Biométrie réussie
    }

    EchangeSRP6a --> Authentifie : SRP-6a OK [INV-01, INV-02]
    EchangeSRP6a --> EcranLogin : Échec (ERR-01 / ERR-02) [INV-09]
    Authentifie --> [*] : Aucun indicateur de mode visible [INV-06]

Diagramme de séquence — Connexion fondatrice SRP-6a (FN-01)¶

Le protocole SRP-6a implique un échange multi-étapes entre le client iOS et le backend. Le mot de passe ne quitte jamais le terminal (INV-02, INV-03).

sequenceDiagram
    participant U as Utilisateur
    participant App as App iOS
    participant API as Backend API
    participant SRP as Module SRP-6a

    U->>App: Saisit email + mot de passe
    Note over App: INV-04 — libellé « mot de passe »
    Note over App: INV-11 — rappel irrécupérabilité affiché

    App->>SRP: Dérive verifier local (email, mdp)
    Note over SRP: INV-02 — mdp jamais transmis
    Note over SRP: INV-03 — zero-knowledge

    App->>API: SRP Step 1 — envoie identifiant + A (clé publique éphémère)
    API-->>App: Retourne salt + B (clé publique serveur)

    App->>SRP: Calcule preuve M1 (A, B, salt, mdp)
    App->>API: SRP Step 2 — envoie M1
    API->>API: Vérifie M1, calcule M2

    alt Authentification réussie
        API-->>App: Retourne M2 + session token
        App->>SRP: Vérifie M2 (preuve mutuelle)
        App-->>U: Écran principal (INV-06 — aucun indicateur de mode)
    else Échec authentification
        API-->>App: Erreur générique
        App-->>U: « La connexion a échoué. » (INV-09, ERR-01)
    end

Diagramme de séquence — Connexion facilitée biométrie (FN-02)¶

sequenceDiagram
    participant U as Utilisateur
    participant App as App iOS
    participant Bio as Biométrie OS
    participant KS as Keychain Secure

    U->>App: Choisit connexion facilitée
    Note over App: INV-05 — écran visuellement distinct

    App->>Bio: Demande authentification biométrique
    Note over Bio: INV-07 — optionnel, INV-08 — désactivable

    alt Biométrie réussie
        Bio-->>App: OK
        App->>KS: Récupère credentials chiffrés
        KS-->>App: Credentials
        Note over App: Reprend flux SRP-6a (INV-01)
        App-->>U: Écran principal (INV-06)
    else Biométrie échouée / annulée
        Bio-->>App: Échec
        App-->>U: Retour écran login (ERR-03)
    end

6. Cas d’erreur¶

Tous les messages d’erreur DOIVENT être indiscernables du point de vue de la cause.

Texte exact obligatoire du message d’erreur générique unique :

La connexion a échoué. Vérifiez vos informations et réessayez.

7. Critères d’acceptation (testables)¶

8. Scénarios de test (Given / When / Then)¶

TC-01 — Connexion fondatrice valide¶

• Given un utilisateur existant
• When il saisit email et mot de passe valides
• Then l’accès est accordé

TC-02 — Connexion fondatrice invalide¶

• Given un utilisateur
• When l’authentification échoue
• Then un message générique est affiché

TC-03 — Connexion biométrique¶

• Given une biométrie activée
• When la biométrie réussit
• Then l’accès est accordé

TC-04 — Désactivation biométrie¶

• Given une biométrie activée
• When l’utilisateur la désactive
• Then la connexion facilitée est impossible

9. Hypothèses explicites¶