Frédéric Cuppens. A logical analysis of authorized and prohibited information flows. In 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993. pages 100-109, IEEE Computer Society, 1993. [doi]
Abstract is missing.