Login / Signup
Automated Verification of UMLsec Models for Security Requirements.
Jan Jürjens
Pasha 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