Idea: Enforcing Consumer-Specified Security Properties for Modular Software.

Giacomo A. Galilei Vincenzo Gervasi

Published in: ESSoS (2010)

Keyphrases

security properties
security vulnerabilities
formal methods
security requirements
security protocols
formal model
software systems
security analysis
security patterns
software development
computer systems
software architecture
distributed systems
development process
embedded systems