Login / Signup

Integrating Formal Analysis and Design to Preserve Security Properties.

Riham HassanShawn A. BohnerSherif El-KassasMichael G. Hinchey
Published in: HICSS (2009)
Keyphrases
  • formal analysis
  • formal methods
  • security properties
  • security requirements
  • case study
  • knowledge based systems
  • machine learning
  • natural language
  • modeling language
  • agent model