Treffer 1 - 5 von 5

1

Secure Information Flow for Java. A Dynamic Logic Approach. Extended Version
Beckert, Bernhard ; Bruns, Daniel ; Klebanov, Vladimir ; et al.

ddc:004 DATA processing & comput...
Report
3

Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Grahl, Daniel ; Beckert, B.

ddc:004 DATA processing & comput... info:eu-repo/classificat...
Dissertation
4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

Program-level Specification and Deductive Verification of Security Properties
Scheben, Christoph ; Schmitt, P. H.

ddc:004 DATA processing & comput... info:eu-repo/classificat...
Dissertation

Filter