Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.

Miriam Zia, Ernesto Posse, Hans Vangheluwe

Browse the full ICSoft paper archive.