1. Lect Notes Comput Sci;R. Focardi,1999
2. J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy, pages 11–20, Oakland, CA, April 26-28 1982.
3. J. A. Goguen and J. Meseguer. Inference Control and Unwinding. In Proceedings of the IEEE Symposium on Security and Privacy, pages 75–86, Oakland, CA, April 29-May 2 1984.
4. Dale M. Johnson and F. Javier Thayer. Security and the Composition of Machines. In Proceedings of the Computer Security Foundations Workshop, pages 72–89, Franconia, NH, June 1988.
5. Heiko Mantel. Possibilistic De_nitions of Security-An Assembly Kit-. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 185–199, Cambridge, UK, July 3-5 2000. IEEE Computer Society.