Debugging support for security properties of software architectures.

Kyungsoo Im John D. McGregor

Published in: CSIIRW (2009)

Keyphrases

software architecture
security properties
security requirements
security analysis
software engineering
database
distributed systems
software systems
power consumption
smart card
formal model
open source
design patterns
security protocols
product line