seminarios_de_metodos_formales:ano_2008
¡Esta es una revisión vieja del documento!
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.
seminarios_de_metodos_formales/ano_2008.1230067505.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)