Daniele Gorla, Rosario Pugliese: Enforcing Security Policies via Types. SPC 2003: 86-100