Ca ne va peut etre pas répondre à ta question directement mais j'ai assisté à une soutenance de thèse mardi ou le chercheur proposait une sorte de compilation certifiée qui donne un code objet qui contient un certificat de surete/sécurité. Certificat qui pourra etre verifié lors de l'execution par un verificateur (pourquoi pas basé sur TCPA, pendant qu'on y est :-( ) qui autorisera ou non l'execution.
Bon ca n'a pas l'air d'etre une approche totalement nouvelle, mais le gars a deja developpé un compilateur C avec le verificateur.
Ce que je voudrais souligné ce n'est pas forcément cette approche mais surtout l'entousiasme des chercheurs (jury et public) pour ce genre d'approche... Pas un mot n'a été dit sur les aspects vie privée de l'utilisateur. L'hypothèse est que l'utilisateur veut de la sécurité et pas de virus qui viennent d'Internet....
[^] # Re: Premier BIOS TCPA/Palladium
Posté par Julien Laumonier . En réponse à la dépêche Premier BIOS TCPA/Palladium. Évalué à 5.
Ca ne va peut etre pas répondre à ta question directement mais j'ai assisté à une soutenance de thèse mardi ou le chercheur proposait une sorte de compilation certifiée qui donne un code objet qui contient un certificat de surete/sécurité. Certificat qui pourra etre verifié lors de l'execution par un verificateur (pourquoi pas basé sur TCPA, pendant qu'on y est :-( ) qui autorisera ou non l'execution.
Bon ca n'a pas l'air d'etre une approche totalement nouvelle, mais le gars a deja developpé un compilateur C avec le verificateur.
Ce que je voudrais souligné ce n'est pas forcément cette approche mais surtout l'entousiasme des chercheurs (jury et public) pour ce genre d'approche... Pas un mot n'a été dit sur les aspects vie privée de l'utilisateur. L'hypothèse est que l'utilisateur veut de la sécurité et pas de virus qui viennent d'Internet....
Voici le lien pour plus de détail :
http://www.ift.ulaval.ca/~lsfm/lsfm_fra/Activites/Projets/malicots/(...)