Le chiffrement complet du disque consiste à encoder toutes les données utilisateur sur un appareil Android à l'aide d'un clé chiffrée. Une fois qu'un appareil est chiffré, toutes les données créées par l'utilisateur sont automatiquement chiffrés avant de les valider sur le disque et toutes les lectures déchiffrent automatiquement les données avant de les renvoyer au processus appelant.
Le chiffrement complet du disque a été introduit sur Android dans la version 4.4, mais Android 5.0 a été introduit ces nouvelles fonctionnalités:
- Création d'un chiffrement rapide, qui ne chiffre que les blocs utilisés sur la partition de données pour éviter que le premier démarrage prenne beaucoup de temps. Seuls les systèmes de fichiers ext4 et f2fs sont actuellement compatibles avec le chiffrement rapide.
- Ajout de l'indicateur fstab
forceencrypt
pour le chiffrement au premier démarrage. - Ajout de la prise en charge des schémas et du chiffrement sans mot de passe.
- Ajout d'un stockage basé sur le matériel de la clé de chiffrement à l'aide de la fonctionnalité de signature de l'environnement d'exécution sécurisé (TEE) (par exemple, dans une TrustZone). Pour en savoir plus, consultez la section Stocker la clé chiffrée. plus de détails.
Attention : Les appareils mis à niveau vers Android 5.0, puis chiffrés, peuvent être rétablis dans un état non chiffré en rétablissant la configuration d'usine. Nouvel Android 5.0 Les appareils chiffrés au premier démarrage ne peuvent pas revenir à un état non chiffré.
Fonctionnement du chiffrement complet du disque Android
Le chiffrement de disque complet Android est basé sur dm-crypt
, une fonctionnalité du noyau qui fonctionne au niveau de la couche de périphérique de bloc. Par conséquent, le chiffrement fonctionne avec les cartes Embedded MultiMediaCard (eMMC) et les périphériques flash similaires qui se présentent au noyau en tant qu'appareils de bloc. Le chiffrement n'est pas possible avec YAFFS, qui communique directement avec un
Chip flash NAND.
L’algorithme de chiffrement est 128 Advanced Encryption Standard (AES) avec chiffrement-bloc (CBC) et ESSIV:SHA256. La clé principale est chiffrée avec AES 128 bits via des appels à la bibliothèque OpenSSL. Vous devez utiliser au moins 128 bits pour la clé (256 bits étant facultatif).
Remarque:Les OEM peuvent chiffrer la clé principale avec une version 128 bits ou plus.
Dans la version Android 5.0, il existe quatre types d'états de chiffrement :
- par défaut
- Code
- mot de passe
- schéma
Lors du premier démarrage, l'appareil crée une clé principale de 128 bits générée de manière aléatoire, puis la hache avec un mot de passe par défaut et un sel stocké. Le mot de passe par défaut est "default_password". Toutefois, le hachage obtenu est également signé via un TEE (tel que TrustZone), qui utilise un hachage de la signature pour chiffrer la clé principale.
Vous pouvez trouver le mot de passe par défaut défini dans le projet Android Open Source cryptfs.cpp. .
Lorsque l'utilisateur définit le code, la carte ou le mot de passe sur l'appareil, seule la clé 128 bits est rechiffré et stocké. (c'est-à-dire que les modifications apportées au code, à la carte ou au schéma de l'utilisateur n'entraînent PAS rechiffrement des données utilisateur.) Notez qu'un appareil géré peut être soumis à des restrictions de code, de schéma ou de mot de passe.
Le chiffrement est géré par init
et vold
.
init
appelle vold
, et le vold définit les propriétés à déclencher
des événements dans init. D'autres parties du système examinent également les propriétés pour effectuer des tâches telles que l'état des rapports, la demande d'un mot de passe ou l'invite de réinitialisation d'usine en cas d'erreur fatale. Pour appeler
fonctionnalités de chiffrement dans vold
, le système utilise l'outil de ligne de commande
Commandes cryptfs
de vdc
: checkpw
,
restart
, enablecrypto
, changepw
cryptocomplete
, verifypw
, setfield
getfield
, mountdefaultencrypted
, getpwtype
.
getpw
et clearpw
.
Pour chiffrer, déchiffrer ou effacer /data
, /data
ne doivent pas être installées. Toutefois, pour afficher n'importe quelle interface utilisateur,
le framework doit démarrer, et le framework nécessite /data
pour s'exécuter. Pour résoudre ce casse-tête, un système de fichiers temporaire est installé sur /data
.
Cela permet à Android de vous demander des mots de passe, d'afficher votre progression ou de suggérer des données
effacez les données si nécessaire. Il impose toutefois la limitation suivante : pour passer du système de fichiers temporaire au système de fichiers /data
réel, le système doit arrêter tous les processus avec des fichiers ouverts sur le système de fichiers temporaire et redémarrer ces processus sur le système de fichiers /data
réel. Pour ce faire, tous les services
doit appartenir à l'un des trois groupes suivants: core
, main
et
late_start
core
: ne s'arrête jamais après le démarrage.main
: s'arrête, puis redémarre après la saisie du mot de passe du disque.late_start
: ne démarre qu'une fois que/data
a été déchiffré et installé.
Pour déclencher ces actions, la propriété vold.decrypt
est définie sur diverses chaînes.
Pour arrêter et redémarrer des services, les commandes init
sont les suivantes :
class_reset
: arrête un service, mais permet de le redémarrer avec class_start.class_start
: redémarre un service.class_stop
: arrête un service et ajoute un indicateurSVC_DISABLED
. Les services arrêtés ne répondent pas àclass_start
.
Flux
Il existe quatre flux pour un appareil chiffré. Un appareil n'est chiffré qu'une seule fois puis suit un flux de démarrage normal.
- Chiffrer un appareil qui n'était pas chiffré :
- Chiffrer un nouvel appareil avec
forceencrypt
: chiffrement obligatoire au premier démarrage (à partir d'Android L). - Chiffrer un appareil existant : chiffrement déclenché par l'utilisateur (Android K et versions antérieures).
- Chiffrer un nouvel appareil avec
- Démarrer un appareil chiffré :
- Démarrage d'un appareil chiffré sans mot de passe: démarrez un appareil chiffré qui n'est associé à aucun mot de passe défini (applicable aux appareils équipés d'Android 5.0 ou version ultérieure).
- Démarrage d'un appareil chiffré avec un mot de passe : démarrage d'un appareil chiffré pour lequel un mot de passe est défini.
En plus de ces flux, l'appareil peut également ne pas réussir à chiffrer /data
.
Chacun de ces flux est expliqué en détail ci-dessous.
Chiffrer un nouvel appareil avec forceencrypt
Il s'agit du premier démarrage normal sur un appareil Android 5.0.
- Détecter un système de fichiers non chiffré avec l'indicateur
forceencrypt
/data
n'est pas chiffré, mais cela doit être dû au fait queforceencrypt
l'exige. Désinstallez/data
. - Démarrer le chiffrement de
/data
vold.decrypt = "trigger_encryption"
déclencheinit.rc
, ce qui entraîne le chiffrement de/data
parvold
sans mot de passe. (Aucun n'est défini, car il devrait s'agir d'un nouvel appareil.) - Installer tmpfs
vold
installe un/data
tmpfs (à l'aide des options tmpfs dero.crypto.tmpfs_options
) et définit la propriétévold.encrypt_progress
sur 0.vold
prépare les tmpfs/data
pour le démarrage d'un système chiffré et définit la propriétévold.decrypt
sur :trigger_restart_min_framework
- Afficher le framework pour montrer la progression
Étant donné que l'appareil n'a pratiquement aucune donnée à chiffrer, la barre de progression n'apparaîtra pas souvent, car le chiffrement est très rapide. Pour en savoir plus sur l'UI de progression, consultez la section Chiffrer un appareil existant.
- Lorsque
/data
est chiffré, supprimez le framework.vold
définitvold.decrypt
surtrigger_default_encryption
, qui démarredefaultcrypto
. (Cela lance le flux ci-dessous pour monter un userdata chiffré par défaut.)trigger_default_encryption
vérifie le type de chiffrement pour voir si/data
est chiffré avec ou sans mot de passe. Les appareils Android 5.0 étant chiffrés au premier démarrage, vous devriez ne définir aucun mot de passe ; c'est pourquoi nous déchiffreons et montons/data
. - Monter
/data
init
installe ensuite/data
sur un disque RAM tmpfs à l'aide des paramètres qu'il récupère à partir dero.crypto.tmpfs_options
, qui est défini dansinit.rc
. - Démarrer le framework
vold
définitvold.decrypt
surtrigger_restart_framework
, ce qui poursuit le processus de démarrage habituel.
Chiffrer un appareil existant
Voici ce qui se passe lorsque vous chiffrez un appareil Android K non chiffré ou une version antérieure qui a migré vers la version L.
Ce processus est lancé par l'utilisateur et est appelé "chiffrement en place" dans le code. Lorsqu'un utilisateur choisit de chiffrer un appareil, l'interface utilisateur s'assure que la batterie est complètement chargée et l'adaptateur secteur est branché. pour terminer le processus de chiffrement.
Avertissement:Si l'appareil n'est plus alimenté et s'éteint avant la fin de l'opération le chiffrement, les données des fichiers restent dans un état partiellement chiffré. L'appareil doit être rétabli à ses paramètres d'usine, et toutes les données sont perdues.
Pour activer le chiffrement sur place, vold
lance une boucle pour lire chaque
du véritable appareil de stockage en mode bloc,
à l'appareil de crypto-bloc. vold
vérifie si un secteur est utilisé avant de le lire et de l'écrire, ce qui accélère considérablement le chiffrement sur un nouvel appareil qui contient peu ou pas de données.
État de l'appareil : définissez ro.crypto.state = "unencrypted"
et exécutez le déclencheur on nonencrypted
init
pour continuer le démarrage.
- Vérifier le mot de passe
L'UI appelle
vold
avec la commandecryptfs enablecrypto inplace
. oùpasswd
est le mot de passe de l'écran de verrouillage de l'utilisateur. - Démanteler le framework
vold
recherche les erreurs, renvoie -1 s'il ne peut pas chiffrer et imprime une raison dans le journal. S'il peut effectuer un chiffrement, la propriétévold.decrypt
est définie. àtrigger_shutdown_framework
.init.rc
arrête alors les services des classeslate_start
etmain
. - Créer un pied de page de cryptographie
- Créer un fichier de fil d'Ariane
- Redémarrer
- Détecter le fichier de fil d'Ariane
- Démarrer le chiffrement de
/data
vold
configure ensuite le mappage cryptographique, qui crée un dispositif de bloc cryptographique virtuel qui se mappe sur le dispositif de bloc réel, mais qui chiffre chaque secteur au fur et à mesure de son écriture et déchiffre chaque secteur au fur et à mesure de sa lecture.vold
crée ensuite et écrit les métadonnées de chiffrement. - Pendant le chiffrement, installer tmpfs
vold
installe un/data
tmpfs (à l'aide des options tmpfs). dero.crypto.tmpfs_options
) et définit la propriétévold.encrypt_progress
sur 0.vold
prépare les fichiers tmpfs./data
pour démarrer un système chiffré et définit la propriété Devold.decrypt
à:trigger_restart_min_framework
- Afficher le framework pour montrer la progression
trigger_restart_min_framework
entraîneinit.rc
démarrer la classe de servicesmain
. Lorsque le framework voit quevold.encrypt_progress
étant défini sur 0, la barre de progression s'affiche. UI, qui interroge cette propriété toutes les cinq secondes et met à jour une barre de progression. La boucle de chiffrement met à jourvold.encrypt_progress
chaque fois qu'elle chiffre un autre pourcentage de la partition. - Lorsque
/data
est chiffré, mettre à jour le pied de page de chiffrementUne fois
/data
chiffré,vold
efface l'indicateurENCRYPTION_IN_PROGRESS
dans les métadonnées.Une fois l'appareil déverrouillé, le mot de passe est utilisé pour chiffrer la clé principale et le pied de page de chiffrement est mis à jour.
Si le redémarrage échoue pour une raison quelconque,
vold
définit la propriétévold.encrypt_progress
surerror_reboot_failed
et l'UI doit afficher un message demandant à l'utilisateur d'appuyer sur un bouton pour redémarrer. Cela ne devrait jamais se produire.
Démarrer un appareil chiffré avec le chiffrement par défaut
C’est ce qui se passe lorsque vous démarrez un appareil chiffré sans mot de passe. Étant donné que les appareils Android 5.0 sont chiffrés au premier démarrage, aucun mot de passe ne doit être défini. Il s'agit donc de l'état de chiffrement par défaut.
- Détecter des
/data
chiffrés sans mot de passeDétecter que l'appareil Android est chiffré, car
/data
ne peut pas être installé et l'un des indicateursencryptable
ouforceencrypt
est défini.vold
définitvold.decrypt
surtrigger_default_encryption
, qui lance ledefaultcrypto
.trigger_default_encryption
vérifie le type de chiffrement pour vérifier si/data
est chiffré avec ou sans mot de passe. - Déchiffrer /data
Crée l'appareil
dm-crypt
sur l'appareil en mode bloc afin que l'appareil est prêt à l'emploi. - Installer /data
vold
monte ensuite la partition/data
réelle déchiffrée, puis prépare la nouvelle partition. Il définit la propriétévold.post_fs_data_done
sur 0, puisvold.decrypt
surtrigger_post_fs_data
. Cela entraîne l'exécution deinit.rc
. ses commandespost-fs-data
. Ils créent les répertoires ou liens nécessaires, puis définissentvold.post_fs_data_done
sur 1.Une fois que
vold
voit le chiffre 1 dans cette propriété, il définit la propriétévold.decrypt
sur :trigger_restart_framework.
.init.rc
redémarre alors les services de la classemain
et démarre également les services de la classelate_start
pour la première fois depuis le démarrage. - Démarrer le framework
Le framework démarre maintenant tous ses services à l'aide du
/data
déchiffré, et le système est prêt à l'emploi.
Démarrer un appareil chiffré sans chiffrement par défaut
C'est ce qui se passe lorsque vous démarrez un appareil chiffré sur lequel un mot de passe est défini. Le mot de passe de l'appareil peut être un code, un schéma ou un mot de passe.
- Détecter un appareil chiffré avec un mot de passe
Détecter que l'appareil Android est chiffré, car l'indicateur
ro.crypto.state = "encrypted"
vold
définitvold.decrypt
surtrigger_restart_min_framework
, car/data
est chiffré avec un mot de passe. - Installer tmpfs
init
définit cinq propriétés pour enregistrer les options d'installation initiales indiqué pour/data
avec les paramètres transmis depuisinit.rc
.vold
utilise les propriétés suivantes pour configurer le mappage de cryptographie :ro.crypto.fs_type
ro.crypto.fs_real_blkdev
ro.crypto.fs_mnt_point
ro.crypto.fs_options
ro.crypto.fs_flags
(nombre hexadécimal ASCII à 8 chiffres précédé de 0x)
- Démarrer le framework pour demander le mot de passe
Le framework démarre et constate que
vold.decrypt
est défini surtrigger_restart_min_framework
. Cela indique au framework qu'il démarre sur un disque/data
tmpfs et qu'il doit obtenir le mot de passe de l'utilisateur.Toutefois, il doit d'abord s'assurer que le disque a été correctement chiffré. Il envoie la commande
cryptfs cryptocomplete
àvold
.vold
renvoie 0 si le chiffrement a réussi, -1 en cas d'erreur interne ou -2 si le chiffrement a échoué.vold
détermine en recherchant dans les métadonnées cryptographiques leCRYPTO_ENCRYPTION_IN_PROGRESS
. Si cette valeur est définie, le processus de chiffrement a été interrompu et aucune donnée utilisable n'est disponible sur l'appareil. Sivold
renvoie une erreur, l'UI doit afficher un message demandant à l'utilisateur de redémarrer l'appareil et de rétablir sa configuration d'usine, et de donner à l'utilisateur un bouton sur lequel appuyer pour ce faire. - Déchiffrer des données avec un mot de passe
Une fois
cryptfs cryptocomplete
réussi, le framework affiche une UI demandant le mot de passe du disque. L'UI vérifie le mot de passe en envoyant la commandecryptfs checkpw
àvold
. Si le est correct (ce qui est déterminé par l'installation du a déchiffré/data
à un emplacement temporaire, puis l'a démonté),vold
enregistre le nom de l'appareil en mode bloc déchiffré dans la propriété.ro.crypto.fs_crypto_blkdev
et renvoie l'état 0 à l'interface utilisateur. Si le mot de passe est incorrect, -1 est renvoyé à l'UI. - Arrêter le framework
L'UI affiche un graphique de démarrage cryptographique, puis appelle
vold
avec la commandecryptfs restart
.vold
définit la propriétévold.decrypt
surtrigger_reset_main
, ce qui entraîne l'exécution declass_reset main
parinit.rc
. Cela arrête tous les services de la classe principale, ce qui permet de démonter les/data
tmpfs. - Monter
/data
vold
monte ensuite la partition/data
réelle déchiffrée et prépare la nouvelle partition (qui n'aurait peut-être jamais été préparée si elle était chiffrée avec l'option d'effacement, qui n'est pas prise en charge lors de la première version). Elle définit la propriétévold.post_fs_data_done
sur 0, puis définitvold.decrypt
surtrigger_post_fs_data
. Cela provoqueinit.rc
pour exécuter ses commandespost-fs-data
. Ils créent les répertoires ou liens nécessaires, puis définissentvold.post_fs_data_done
sur 1. Lorsquevold
voit le chiffre 1 dans cette propriété, il définit la propriétévold.decrypt
surtrigger_restart_framework
.init.rc
redémarre alors les services de la classemain
et démarre également les services de la classelate_start
pour la première fois depuis le démarrage. - Commencer le framework complet
Le framework démarre maintenant tous ses services à l'aide du
/data
déchiffré. système de fichiers et le système est prêt à l'emploi.
Échec
Plusieurs raisons peuvent expliquer qu'un appareil ne parvienne pas à déchiffrer les données. L'appareil commence par la série d'étapes normale pour démarrer:
- Détecter un appareil chiffré avec un mot de passe
- Monter des tmpfs
- Démarrer le framework pour demander le mot de passe
Cependant, une fois le framework ouvert, l'appareil peut rencontrer certaines erreurs:
- Le mot de passe correspond, mais ne peut pas déchiffrer les données
- L'utilisateur saisit un mot de passe incorrect à 30 reprises
Si ces erreurs ne sont pas résolues, invitez l'utilisateur à rétablir la configuration d'usine :
Si vold
détecte une erreur lors du processus de chiffrement et si
Aucune donnée n'a encore été détruite et le framework est opérationnel. vold
définit
la propriété vold.encrypt_progress
à error_not_encrypted
.
L'UI invite l'utilisateur à redémarrer et l'informe que le processus de chiffrement n'a jamais commencé. Si l'erreur se produit après la suppression du framework, mais
avant que l'UI de la barre de progression ne soit active, vold
redémarre le système. Si le redémarrage échoue, il définit vold.encrypt_progress
sur error_shutting_down
et renvoie -1. Toutefois, rien ne permet de détecter l'erreur. Cela ne devrait pas se produire.
Si vold
détecte une erreur pendant le processus de chiffrement, il définit
vold.encrypt_progress
à error_partially_encrypted
et renvoie -1. L'UI doit ensuite afficher un message indiquant que le chiffrement
et fournir un bouton permettant à l'utilisateur de rétablir la configuration d'usine de l'appareil.
Stocker la clé chiffrée
La clé chiffrée est stockée dans les métadonnées de cryptographie. Le support matériel est implémenté à l'aide de la capacité de signature de l'environnement d'exécution sécurisé (TEE). Auparavant, nous chiffrions la clé principale avec une clé générée en appliquant Scrypt au mot de passe de l'utilisateur et au sel stocké. Pour rendre la clé résiliente aux attaques hors boîte, nous étendons cet algorithme en signant la clé obtenue avec une clé TEE stockée. La signature obtenue est ensuite convertie en clé de longueur appropriée par une autre application de scrypt. Cette clé est ensuite utilisée pour chiffrer et déchiffrer la clé principale. Pour stocker cette clé :
- Générez une clé de chiffrement de disque (DEK) aléatoire de 16 octets et un sel de 16 octets.
- Appliquez scrypt au mot de passe de l'utilisateur et au sel pour générer la clé intermédiaire 1 (IK1) de 32 octets.
- Pad IK1 avec zéro octet de la taille de la clé privée liée au matériel (HBK). Plus précisément, nous ajoutons un remplissage de la manière suivante : 00 || IK1 || 00..00 ; un octet de zéro, 32 octets IK1, 223 octets de zéro.
- Signer l'IK1 rempli avec HBK pour produire un IK2 de 256 octets
- Appliquez scrypt à IK2 et au sel (même sel que l'étape 2) pour générer IK3 de 32 octets.
- Utilisez les 16 premiers octets d'IK3 comme KEK et les 16 derniers octets comme IV.
- Chiffrez la clé DEK à l'aide de l'algorithme AES_CBC, de la clé KEK et du vecteur d'initialisation IV.
Modifier le mot de passe
Lorsqu'un utilisateur choisit de modifier ou de supprimer son mot de passe dans les paramètres, l'UI envoie la commande cryptfs changepw
à vold
, et vold
réenchiffre la clé principale de disque avec le nouveau mot de passe.
Propriétés de chiffrement
vold
et init
communiquent entre eux en définissant des propriétés. Voici la liste des propriétés de chiffrement disponibles.
Propriétés Vold
Propriété | Description |
---|---|
vold.decrypt trigger_encryption |
Chiffrez le disque sans mot de passe. |
vold.decrypt trigger_default_encryption |
Vérifiez que le disque est chiffré sans mot de passe.
Si tel est le cas, déchiffrez-le et montez-le, sinon définissez vold.decrypt sur trigger_restart_min_framework. |
vold.decrypt trigger_reset_main |
Défini par vold pour arrêter l'interface utilisateur demandant le mot de passe du disque. |
vold.decrypt trigger_post_fs_data |
Défini par vold pour préparer /data avec les répertoires nécessaires, et al. |
vold.decrypt trigger_restart_framework |
Défini par vold pour démarrer le framework réel et tous les services. |
vold.decrypt trigger_shutdown_framework |
Défini par vold pour arrêter le framework complet et lancer le chiffrement. |
vold.decrypt trigger_restart_min_framework |
Défini par vold pour démarrer l'UI de la barre de progression du chiffrement ou demander un mot de passe, en fonction de la valeur de ro.crypto.state . |
vold.encrypt_progress |
Au démarrage du framework, si cette propriété est définie, saisissez le mode UI de la barre de progression. |
vold.encrypt_progress 0 to 100 |
L'interface utilisateur de la barre de progression doit afficher la valeur de pourcentage définie. |
vold.encrypt_progress error_partially_encrypted |
L'interface utilisateur de la barre de progression doit afficher un message indiquant que le chiffrement a échoué et donner à l'utilisateur la possibilité de réinitialiser l'appareil aux paramètres d'usine. |
vold.encrypt_progress error_reboot_failed |
L'UI de la barre de progression doit afficher un message indiquant que le chiffrement est terminé et fournir à l'utilisateur un bouton pour redémarrer l'appareil. Cette erreur ne devrait pas se produire. |
vold.encrypt_progress error_not_encrypted |
L'interface utilisateur de la barre de progression afficher un message indiquant une erreur s’est produit, aucune donnée n’a été chiffrée ou perdu et donner à l’utilisateur un bouton pour redémarrer le système. |
vold.encrypt_progress error_shutting_down |
L'UI de la barre de progression n'est pas en cours d'exécution. Il est donc difficile de savoir qui répond à cette erreur. Cela ne devrait jamais se produire. |
vold.post_fs_data_done 0 |
Défini par vold juste avant le paramètre vold.decrypt
à trigger_post_fs_data . |
vold.post_fs_data_done 1 |
Défini par init.rc ou init.rc juste après la fin de la tâche post-fs-data . |
Propriétés init
Propriété | Description |
---|---|
ro.crypto.fs_crypto_blkdev |
Défini par la commande vold checkpw pour une utilisation ultérieure par la commande vold restart . |
ro.crypto.state unencrypted |
Défini par init pour indiquer que ce système s'exécute avec un /data ro.crypto.state encrypted non chiffré. Défini par init pour indiquer que ce système s'exécute avec un /data chiffré. |
|
Ces cinq propriétés sont définies par init lorsqu'il tente de monter /data avec des paramètres transmis à partir de init.rc . vold les utilise pour configurer le mappage cryptographique. |
ro.crypto.tmpfs_options |
Défini par init.rc avec les options que init doit utiliser lorsque
installer le système de fichiers /data tmpfs. |
actions init
on post-fs-data on nonencrypted on property:vold.decrypt=trigger_reset_main on property:vold.decrypt=trigger_post_fs_data on property:vold.decrypt=trigger_restart_min_framework on property:vold.decrypt=trigger_restart_framework on property:vold.decrypt=trigger_shutdown_framework on property:vold.decrypt=trigger_encryption on property:vold.decrypt=trigger_default_encryption