From qualitative to quantitative enforcement of security policies

The talk addresses several issues on the formal specification of enforcement mechanisms for security policies, that specify acceptable executions of programs. We show several approaches to define such enforcement mechanisms, from the seminal work on security automata, to quantitative mechanisms, spanning over several process algebra models. The talk presents also some practical aspects connected with the enforcement of security policies.