On Automating the Formulation of Security Goals under the Inductive Approach

Raul Monroy, Maya Carrillo. On Automating the Formulation of Security Goals under the Inductive Approach. In M. H. Hamza, editor, The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria. pages 1020-1025, IASTED/ACTA Press, 2003.

@inproceedings{MonroyC03,
  title = {On Automating the Formulation of Security Goals under the Inductive Approach},
  author = {Raul Monroy and Maya Carrillo},
  year = {2003},
  tags = {security, systematic-approach},
  researchr = {https://researchr.org/publication/MonroyC03},
  cites = {0},
  citedby = {0},
  pages = {1020-1025},
  booktitle = {The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria},
  editor = {M. H. Hamza},
  publisher = {IASTED/ACTA Press},
  isbn = {0-88986-345-8},
}