Perso, je trouve que ca manque a la GPL: quelque chose du genre de
"L'utilisation de ces sources ou des executables en resultant est interdite
par toute entite (personne/compagnie/organisation) militaire ou fournissant des militaires".
Si un jour j'ecris un logiciel Open Source, je veux une licence comme ca!
En ce qui concerne Open BSD: je suis un peu decu si c'est l'OS que subventionne
DARPA. Je croyais qu'ils travaillaient sur un OS prouve, totalement different donc.
Un code et une conception prouves seraient le seul moyen d'obtenir du logiciel sans bugs. Et donc du logiciel tres securise car la majorite des failles proviennent de bugs.
Des gens motives pour commencer l'OS prouve de demain?
Je rigole...quoique si je fais une these dans un an...
[^] # Re: Interview de Theo de Raadt
Posté par HappyCrow . En réponse à la dépêche Interview de Theo de Raadt. Évalué à 1.
"L'utilisation de ces sources ou des executables en resultant est interdite
par toute entite (personne/compagnie/organisation) militaire ou fournissant des militaires".
Si un jour j'ecris un logiciel Open Source, je veux une licence comme ca!
En ce qui concerne Open BSD: je suis un peu decu si c'est l'OS que subventionne
DARPA. Je croyais qu'ils travaillaient sur un OS prouve, totalement different donc.
Un code et une conception prouves seraient le seul moyen d'obtenir du logiciel sans bugs. Et donc du logiciel tres securise car la majorite des failles proviennent de bugs.
Des gens motives pour commencer l'OS prouve de demain?
Je rigole...quoique si je fais une these dans un an...
:0)