Building high assurance secure applications using security patterns for capability-based platforms.

Published in: ICSE (2013)

Keyphrases

security patterns
high assurance
security requirements
formal model
access control
operating system
software systems
distributed systems
security properties
requirements engineering
fault tolerant
early stage
software development process
software architecture
security policies
information security
web services