A formal model to aid documenting and harmonizing of information security requirements

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.

@inproceedings{LeiwoZ97:1,
  title = {A formal model to aid documenting and harmonizing of information security requirements},
  author = {Jussipekka Leiwo and Yuliang Zheng},
  year = {1997},
  tags = {security, information models},
  researchr = {https://researchr.org/publication/LeiwoZ97%3A1},
  cites = {0},
  citedby = {0},
  pages = {25-38},
  booktitle = {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},
  editor = {Louise Yngström and Jan Carlsen},
  volume = {92},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-81780-2},
}