FenixEdu™

Dissertação

Information Flow Security For a Concurrent Language With Lock-based Synchronization EVALUATED

Detalhes: O controlo de fluxo de informação é uma abordagem fundamental para garantir segurança \textit{end to end} de programas, existindo uma grande quantidade de trabalho dedicado ao seu estudo para uma série de paradigmas computacionais, linguagens e técnicas de aplicação. A literatura indica que primitivas de sincronização, como as usadas para o controlo de concorrência, estabelecem dependências entre threads num sistema concorrente que podem levar a fugas de informação. Neste trabalho, estamos interessados em estudar como as primitivas de sincronização podem codificar fluxos de informação ilegais em programas multi-threaded e desenvolver um mecanismo estático para prevenir tais fugas. Para o efeito, propomos conceber um sistema de tipos correto (\textit{sound}) para garantir não interferência em linguagens concorrentes que incluem locks como primitivas de sincronização para criar regiões mutuamente exclusivas. Além disso, propomos desenvolver uma ferramenta que implemente o sistema de tipos proposto e testá-la em programas concorrentes representativos.
Keywords: Segurança de Fluxos de Informação, Programação Concorrente, Primitivas de Sincronização, Locks

Discussão: novembro 23, 2023, 14:30