Sign in

A UML-based static verification framework for security.

Igor SiveroniAndrea ZismanGeorge Spanoudakis
Published in: Requir. Eng. (2010)
Keyphrases
  • main contribution
  • lightweight
  • case study
  • data model
  • object oriented
  • software development
  • database design
  • security mechanisms
  • security systems