Language-Based Security.

One of the main application areas we have in mind for our research is computer security. Our intention is to formulate sound methods for analysing security properties starting from a concrete, detailed description of a system. This is in contrast to approaches based on informal development of a system model which might introduce oversimplifications and unjustified assumption about the system in question, e.g. [43]. This means we are looking at language-based security analysis in the sense of [58]. One particular area of interest is focused on noninterference [42,48,49]. Previous approaches [66,65,60,,20], consider probabilistic confinement in both imperative and declarative programming languages. Extensive work has been done in mobile and concurrent systems where security issues are particularly important, e.g. [34].