[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
>