Hochschulschrift
A uniform framework for the formal specification and verification of information flow security
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XVIII, 275 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Saarbrücken, Univ., Diss., 2003
- Classification
-
Informatik
- Keyword
-
Informationsfluss
Integrität
Vertraulichkeit
Formale Spezifikationstechnik
Verifikation
Statische Analyse
Informationsfluss; Possibilitätstheorie; Formale Spezifikationstechnik
- Creator
-
Mantel, Heiko
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:10 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Mantel, Heiko
Other Objects (12)
A uniform framework for the formal specification and verification of information flow security
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Formal Specification and Verification for Automated Production Systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Formal Verification of Information Flow Secure Systems with IFlow
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
WoLFram - a word level framework for formal verification and its application
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
A formal framework for the design and specification of neural networks
A uniform framework for the formal specification and verification of information flow security
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Formal Specification and Verification for Automated Production Systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Formal Verification of Information Flow Secure Systems with IFlow
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
WoLFram - a word level framework for formal verification and its application
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
A formal framework for the design and specification of neural networks
A uniform framework for the formal specification and verification of information flow security
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Formal Specification and Verification for Automated Production Systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Formal Verification of Information Flow Secure Systems with IFlow
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
WoLFram - a word level framework for formal verification and its application
Specification and verification of concurrent systems
Process theory: semantics, specification and verification