Model-Based Security Testing

Ina Schieferdecker, Juergen Grossmann, Martin Schneider

Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and no…