Publication:

A model for provably secure software design

Date

2017

Proceedings Paper

Simple item page Full metadata Statistics

Author(s)

Van den Berghe, Alexander

;

;

;

Scandariato, Riccardo

Statistics

1949 since deposited on 2021-10-24

Acq. date: 2026-05-16