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:[EMAIL PROTECTED] > 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 > [EMAIL PROTECTED] > http://www.lugro.org.ar/mailman/listinfo/lugro > _______________________________________________ Lugro mailing list [EMAIL PROTECTED] http://www.lugro.org.ar/mailman/listinfo/lugro
