Model-based security testing

Article, Conference object, Preprint English OPEN
Schieferdecker, Ina ; Großmann, Jürgen ; Schneider, Martin (2012)
  • Publisher: Open Publishing Association
  • Journal: (issn: 2075-2180)
  • Related identifiers: doi: 10.4204/EPTCS.80.1
  • Subject: Mathematics | Electronic computers. Computer science | Computer Science - Software Engineering | QA1-939 | QA75.5-76.95

Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there ha... View more
Share - Bookmark