TU Darmstadt / ULB / TUbiblio

A Uniform Framework for the Formal Specification and Verification of Information Flow Security

Mantel, Heiko (2003):
A Uniform Framework for the Formal Specification and Verification of Information Flow Security.
Universität des Saarlandes, [Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 2003
Creators: Mantel, Heiko
Title: A Uniform Framework for the Formal Specification and Verification of Information Flow Security
Language: German
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 31 Dec 2016 09:57
Identification Number: th:Mantel2003
Export:

Optionen (nur für Redakteure)

View Item View Item