Login / Signup

Automated Verification of UMLsec Models for Security Requirements.

Jan JürjensPasha Shabalin
Published in: UML (2004)
Keyphrases
  • security requirements
  • automated verification
  • smart card
  • probabilistic model
  • access control
  • reference models
  • social networks
  • knowledge representation
  • anomaly detection
  • automated reasoning
  • security model