24/07/2009, 16:15 — 17:15 — Room P3.10, Mathematics Building
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.
