A Model for Provably Secure Software Design.

Alexander van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen

Browse the full ICSE paper archive.