A UML-based static verification framework for security.

Igor Siveroni Andrea Zisman George Spanoudakis

Published in: Requir. Eng. (2010)

Keyphrases

main contribution
lightweight
case study
data model
object oriented
software development
database design
security mechanisms
security systems