"Achieving Security Assurance with Assertion-based Application Construction."

Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr (2015)

Details and statistics

DOI: 10.4108/EAI.21-12-2015.150819

access: open

type: Journal Article

metadata version: 2020-06-25

a service of  Schloss Dagstuhl - Leibniz Center for Informatics