The security pi-calculus and non-interference
scientific article; zbMATH DE number 2157577