Diferencias

Muestra las diferencias entre dos versiones de la página.

--- seminarios_de_metodos_formales:ano_2008 [2008/12/23 21:25] – creado nueces
+++ seminarios_de_metodos_formales:ano_2008 [2008/12/23 21:44] (actual) – borrado nueces
@@ Línea 1: / Línea 1: @@
-=== Martes 12 de agosto ===
-  * Expositor: Matias Lee
-  * Título: Secure Interface Automata.
-  * Resumen:
-Una interface describe cómo un sistema interactua con su entorno. Por esta razón, ellas juegan un papel muy importante en el desarrollo basado en componentes. Dadas las interfaces de 2 componentes sería muy util poder analizar si ellas son compatibles, es decir, si trabajan bien en forma conjunta. En esta charla presentamos un nuevo tipo de interface: Secure Interface Automata. Las mismas nos permiten hablar de “No Interferencia”, una propiedad de seguridad bastante estudiada. Analizamos como se comporta esta propiedad con respecto a la composición. Finalmente, definimos un algoritmo para restringir el comportamiento de una interfaz para obtener la propiedad deseada.