A Model for Provably Secure Software Design.

Alexander van Den Berghe Koen Yskout Riccardo Scandariato Wouter Joosen

Published in: FormaliSE@ICSE (2017)

Keyphrases

software design
formal model
software systems
security model
databases
case study
high dimensional
object oriented
software engineering