Marre des argumentaires s?curit?s (et techniques) pour le LL was Re: [Linux-bruxelles] bug de s?curit?: kernel 2.4.25-ovh (marre de linux)

[Nicolas =?unknown-8bit?Q?=C3=89vrard?=]

* Alexandre Dulaunoy  [10:20 01/04/04 CEST]: 

>C'est impossible (enfin presque[1]) d'avoir du logiciel sans bugs ou
>sans failles de s?curit?. Le logiciel (par essence) est bourr?
>d'erreurs visibles ou non.

Notons qu'il y a des théories mathématique qui permettent de prouver
qu'un logiciel est juste et donc sans bug. C'est d'ailleurs une des
applications du lambda-calcul. Il est donc tout à fait possible d'avoir
des logiciels sans bug, il faut "juste" passer beaucoup de temps à
prouver que le logiciel l'est. Certains langages simplifient cette tâche
mais ils sont assez peu répandu.

PS: Il y a un troll caché dans ce message, saurez vous le découvrir ?

-- 
(°>  Nicolas Évrard
/ )  Liège - Belgique
^^