Sumários
Definition of Security Properties
13 novembro 2018, 11:00 • Pedro Adão
Noninterference, intuitively.
Formal semantics: Big-step operational semantics.
Formalization of Noninterference.
Project development support
13 novembro 2018, 09:30 • Rodrigo Miguel Corredoura Janota Rato
Project development support
Introduction to Information Flow Security
12 novembro 2018, 09:30 • Pedro Adão
Access Control to Information Flow Control.
Information flow policies.
Tracking Information Flow.