Framework for Design Validation of Security Architectures