Reusable Formal Models for Secure Software Architectures

Thomas Heyman, Riccardo Scandariato, Wouter Joosen. Reusable Formal Models for Secure Software Architectures. In 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2012, Helsinki, Finland, August 20-24, 2012. pages 41-50, IEEE, 2012. [doi]

Authors

Thomas Heyman

This author has not been identified. Look up 'Thomas Heyman' in Google

Riccardo Scandariato

This author has not been identified. Look up 'Riccardo Scandariato' in Google

Wouter Joosen

This author has not been identified. Look up 'Wouter Joosen' in Google