Actuellement, les approximations du modèle de
Solomon-Blombergen-Morgan (SBM) conduisent à des expressions théoriques
incorrectes de la relaxivité incluant de nombreux paramètres.
En effet, si le système d’exploitation veut changer les pages mémoire
d’un processus sécurisé dans son dos, le Rc,p associé à la page et stocké de
manière sécurisée dans le processeur est utilisé pour authentifier via le
MAC les données de la page avec l’adresse virtuelle et permettra de détecter
que les données sont incorrectes.
Mais vous apprécierez que neuf années après que la République
Populaire Chinoise soit instaurée, la publication régulière de cartes
incorrectes est gênante pour nous comme pour d'autres.