Jussipekka Leiwo, Yuliang Zheng. A formal model to aid documenting and harmonizing of information security requirements. In Louise Yngström, Jan Carlsen, editors, Information Security in Research and Business, Proceedings of the IFIP TC11 13th International Conference on Information Security (SEC 97), 14-16 May 1997, Copenhagen, Denmark. Volume 92 of IFIP Conference Proceedings, pages 25-38, Chapman & Hall, 1997.
Abstract is missing.