%0
Generic
%T
A Hybrid Approach for Proving Noninterference of Java Programs
%A Küsters, Ralf
%A Truderung, Tomasz
%A Beckert, Bernhard
%A Bruns, Daniel
%A Kirsten, Michael
%A Mohr, Martin
%K language-based security
%K noninterference
%K DATA processing & computer science
%K program analysis
%K code-level cryptographic analysis
%D 2020-11-17
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.