|
El estado actual de la tecnología demanda que los sistemas de computación brinden servicios en los que se pueda confiar justificadamente. Estos tipos de sistemas se dicen que son dependibles y como tales se les demanda - que provean servicios que permanezcan disponibles (i.e. el sistema debe estar preparado para proveer un servicio correcto),
- que sean confiables (i.e. el sistema provee continuamente un servicio correcto),
- que sean seguros en el sentido de “safe” (i.e. el servicio se provee sin consecuencias catastróficas), y
- que sean seguros en el sentido de “secure” (i.e. el servicio se provee confidencialmente sólo a usuarios autorizados manteniendo a la vez la integridad de la información).
En nuestro grupo de investigación estudiamos, desarrollamos, y utilizamos técnicas formales y herramientas que asistan a la construcción de sistemas dependibles. |
|
