Théorème de l'Arrêt: le problème de l'écran bleu est indécidable.
Si on met de coté les programmes triviaux du genre /bin/true ou /bin/false , il est impossible pour un système informatique de déterminer si un programme est secure ou pas car cette propriété est non triviale.
Tant qu'on ne disposera pas d'ordinateurs qualitativement plus puissant du style ordinateur quantique, il n'existera pas d'autre méthode que l'analyse des sources par des humains pour certifier qu'un programme fera ce qu'on attends de lui.
Donc, qu'il s'agisse d'une analyse faite scientifiquement par un organisme centralisé ou bien par root en 5 minutes avant de faire make install, ca revient à peu pres au même: la certification est un processus humain, faillible, incontournable.
En conséquence, si tu veux patcher un soft, tu repassera obligatoirement par un processus complet de certification.
Microsoft doit bien afficher ses tarifs quelque part... ;)
[^] # Re: Une taxe sur les applications ?
Posté par cornofulgur . En réponse à la dépêche Article sur TCPA dans 01 informatique. Évalué à 0.
Si on met de coté les programmes triviaux du genre /bin/true ou /bin/false , il est impossible pour un système informatique de déterminer si un programme est secure ou pas car cette propriété est non triviale.
Tant qu'on ne disposera pas d'ordinateurs qualitativement plus puissant du style ordinateur quantique, il n'existera pas d'autre méthode que l'analyse des sources par des humains pour certifier qu'un programme fera ce qu'on attends de lui.
Donc, qu'il s'agisse d'une analyse faite scientifiquement par un organisme centralisé ou bien par root en 5 minutes avant de faire make install, ca revient à peu pres au même: la certification est un processus humain, faillible, incontournable.
En conséquence, si tu veux patcher un soft, tu repassera obligatoirement par un processus complet de certification.
Microsoft doit bien afficher ses tarifs quelque part... ;)