Sécurité : un modèle de protocole pour les opérations de chargement et déchargement.