[Soci SLIP] Linux in biblioteca

[Lucio Crusca]

Il 04/01/2018 14:58, Alessandro Pasotti ha scritto:
> più o meno sicuro di altri sistemi operativi, ma l'affermazione che un 
> software NON possa essere intrisecamente più sicuro di un altro è 
> facilmente confutabile: ecco un caso limite di software intrinsecamente 
> sicuro:
> 
> void main(){
>     printf( "Hello world");
> }

Attenzione però alle parole: questo software non è intrinsecamente più 
sicuro di un altro e soprattutto non lo è in quanto software libero.

È solo più sicuro di altri nella sua versione attuale, in quanto 
verificato, testato e in quanto mai nessuno è riuscito a bucarlo.

Come sarà fatta la tua prossima versione di Hello World? Avrà nuove 
features? Puoi garantire che quella nuova versione sarà anch'essa più 
sicura di software simili della concorrenza, in quanto la tua è software 
libero e le altre no?

Solo quello significherebbe essere intrinsecamente più sicuro in quanto 
libero.


> 
> Esistono linguaggi appositi per creare software con alti livelli di 
> sicurezza intrinseca (vedi ADA [1]).
> 
> https://it.wikipedia.org/wiki/Ada_(linguaggio_di_programmazione)

Vero e più ne inventano e meno i programmatori li usano. Quanti software 
presenti normalmente su una distro Linux della biblioteca sono scritti 
in ADA? Uno? Nessuno? Scommetto la seconda.