Je pense qu'ils sont au courrant de ces craintes, car ils ont publié non seulement le code source, mais aussi tout le design rationale de FLASK et de leur système de type enforcement.
De ce fait, leur produit me semble parfaitement auditable, tout comme le sont par exemple les systèmes de crypto du monde entier proposés pour AES.
[^] # Re: ASLR pour le noyau 2.6
Posté par Julien . En réponse à la dépêche ASLR pour le noyau 2.6. Évalué à 2.
De ce fait, leur produit me semble parfaitement auditable, tout comme le sont par exemple les systèmes de crypto du monde entier proposés pour AES.