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.

Abstract

Abstract is missing.