[LUG.ro] Seguridad?

Magnanego, Nestor lugro@lugro.org.ar
Wed, 22 Oct 2003 11:42:40 -0300


Si pensamos que la ing. de soft. es el arte de vérselas con la complejidad,
la única
manera de que alguien pueda decir que sus productos son 100% seguros  seria
que todos sus programas tendrían que ser testeados a nivel de lo que se hace
con una función matemática,
es decir la completitud y seguridad de los programas tendrían que ser
comprobados matemáticamente.Dicen que los lenguajes
funcionales(scheme,guile,caml..) y los lenguajes lógicos(prolog) permitirián
generar soft. mas seguro en cuanto a su calidad de diseño, es decir un
diseño mas ingenieril, que "artistico".
Saludos.
Nestor.

> -----Mensaje original-----
> De: Alejandro Gomez Fernandez [mailto:agomez@micropack.com.ar]
> Enviado el: martes 21 de octubre de 2003 16:39
> Para: lugro
> Asunto: [LUG.ro] Seguridad?
> 
> 
> Vean esta nota: 
> http://searchwin2000.techtarget.com/originalContent/0,289142,s
> id1_gci932906,00.html en donde dice que microsoft se hace 
> responsable por las fallas de seguridad (o al menos eso 
> sugiere)... Significa esto que "alguien" le podria hacer 
> juicio por los problemas que le causó su s.o. debido a 
> algunas fallas reconocidas por ellos? Hasta que punto llega 
> la responsabilidad? Como puede saber un usuario si un parche 
> REALMENTE soluciona un problema determinado (y no otro) y a 
> su vez que no genera un nuevo problema de seguridad (en 
> especial si se distribuye solo un binario "minimo" que se 
> encarga, supuestamente, de bajar de internet el resto del 
> "programa" que emparcha el s.o.)?
> Ahora, y pregunto esto porque lo desconozco, como se puede 
> "certificar"
> un parche en gnu/linux? Existe algun tipo de control "oficial" de un
> parche? Quien se encarga de hacerlo? El propio grupo que desarrolla el
> paquete? Es esto aconsejable o no?
> Tal vez este tema de para un intercambio de ideas al respecto...
> 
> 
> 
> 
> Alejandro.
> 
> 
> 
> _______________________________________________
> Lugro mailing list
> Lugro@lugro.org.ar
> http://www.lugro.org.ar/mailman/listinfo/lugro
>