Hochschulschrift
Compositional and Scheduler-Independent Information Flow Security
- Weitere Titel
-
Kompositionale und Scheduler-unabhängige Informationsflusssicherheit
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2013
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
-
Mantel, Heiko
Schmitt, Peter H.
- URN
-
urn:nbn:de:tuda-tuprints-38843
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Sudbrock, Henning
- Mantel, Heiko
- Schmitt, Peter H.
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2013
Ähnliche Objekte (12)
Compositional and Scheduler-Independent information flow security
Security via noninterference : analyzing information flow
Two-Phase compositional flow simulation with persistent variables
Compositional control-flow reduction for probabilistic model checking
Two-Phase Compositional Flow Simulation with Persistent Variables
Information flow security in tree-manipulating processes
Information Flow Security in Tree-Manipulating Processes
Compositional multiphase flow and transport in heterogeneous porous media
Composition and Declassification in Possibilistic Information Flow Security
Adaptive modelling of compositional multi-phase flow with capillary pressure
Adaptive modelling of compositional multi-phase flow with capillary pressure
Negative Saturation Approach for Non-Isothermal Compositional Two-Phase Flow Simulations
Compositional and Scheduler-Independent information flow security
Security via noninterference : analyzing information flow
Two-Phase compositional flow simulation with persistent variables
Compositional control-flow reduction for probabilistic model checking
Two-Phase Compositional Flow Simulation with Persistent Variables
Information flow security in tree-manipulating processes
Information Flow Security in Tree-Manipulating Processes
Compositional multiphase flow and transport in heterogeneous porous media
Composition and Declassification in Possibilistic Information Flow Security
Adaptive modelling of compositional multi-phase flow with capillary pressure
Adaptive modelling of compositional multi-phase flow with capillary pressure
Negative Saturation Approach for Non-Isothermal Compositional Two-Phase Flow Simulations
Compositional and Scheduler-Independent information flow security
Security via noninterference : analyzing information flow
Two-Phase compositional flow simulation with persistent variables
Compositional control-flow reduction for probabilistic model checking
Two-Phase Compositional Flow Simulation with Persistent Variables
Information flow security in tree-manipulating processes
Information Flow Security in Tree-Manipulating Processes
Compositional multiphase flow and transport in heterogeneous porous media
Composition and Declassification in Possibilistic Information Flow Security
Adaptive modelling of compositional multi-phase flow with capillary pressure
Adaptive modelling of compositional multi-phase flow with capillary pressure