Vol-2018⫷ Vol-2019 ⫸Vol-2020
urn:nbn:de:0074-2019-0


Vol-2019/modevva_3⫷Vol-2019/modevva_4⫸Vol-2019/modevva_5
Kateryna YurchenkoMoritz BehrHeiko KlareMax E. KramerRalf H. Reussner

Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems