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]

No reviews for this publication, yet.