Modalidades, cohesión y flujo de información
Ponente: Francisco Marmolejo
Institución: IM-UNAM
Tipo de Evento: Investigación
Institución: IM-UNAM
Tipo de Evento: Investigación
En esta plática hablaremos de conjuntos clasificados, los cuales sirven para modelar flujos de información con seguridad (esto es, hay diversos niveles de seguridad y restricciones de acceso de acuerdo al nivel de seguridad que el usuario tenga). El autor del artículo que revisaremos (Kavos, Modalities, cohesion, and information flow) afirma que dichos conjuntos son un modelo de pre-cohesión (modelo axiomático de cohesión de Lawvere, sin la cláusula de continuidad).