1. Security policies and security models;Goguen,1982
2. Classification of security properties (part I: information flow);Focardi,2001
3. Process algebra and non-interference;Ryan;J. Comput. Secur.,2001
4. Possibilistic definitions of security – an assembly kit;Mantel,2000
5. Structural non-interference in elementary and trace nets;Busi;Math. Structures Comput. Sci.,2009