• Suche: Secure Information Flow for Java A Dynamic Logic Approach

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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter