Seminário Segurança de Informação 

24/07/2009, 16:15 — 17:15 — Sala P3.10, Pavilhão de Matemática
Ana Matos, IST and SQIG-IT

Flow Policy Awareness for Distributed Mobile Code

In the context of global computing, information flow security must deal with the decentralized nature of security policies. This issue is particularly challenging when programs are given the flexibility to perform declassifying instructions. In this talk I point out potential unwanted behaviors that can arise in a context where such programs can migrate between computation domains with different security policies. I will then propose programming language techniques, for which soundness can be proven at the global computation level, in order to tackle such unwanted behaviors.