Towards a Secure Software Development Lifecycle with SQUARE+R.

Weider D. Yu Kyle Le

Published in: COMPSAC Workshops (2012)

Keyphrases

development lifecycle
security requirements
software development
formal methods
security mechanisms
smart card
security analysis
computer systems
software systems
access control
software engineering
software maintenance
information security
software design
security issues
model checking
source code
open source