Precision: ces deux notions sont evidemment independentes; i.e
on peut tres bien avoir un langage securise qui fournisse une commande "system" permettant ainsi de detruire tous les fichiers du disque; et un language qui fournisse des fonctionalites de securite mais qui peut planter (comme Java).
[^] # Re: Il y a deux notions de langage securise
Posté par Matthieu Lemerre . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
on peut tres bien avoir un langage securise qui fournisse une commande "system" permettant ainsi de detruire tous les fichiers du disque; et un language qui fournisse des fonctionalites de securite mais qui peut planter (comme Java).