Hochschulschrift
A uniform framework for the formal specification and verification of information flow security
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XVIII, 275 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Saarbrücken, Univ., Diss., 2003
- Klassifikation
-
Informatik
- Schlagwort
-
Informationsfluss
Integrität
Vertraulichkeit
Formale Spezifikationstechnik
Verifikation
Statische Analyse
Informationsfluss; Possibilitätstheorie; Formale Spezifikationstechnik
- Urheber
-
Mantel, Heiko
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:00 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
- Mantel, Heiko
Ähnliche Objekte (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 verification of cryptographic security proofs
Formal Specification and Verification for Automated Production Systems
Verification of Security Properties Using Formal Techniques
Formal Specification, Testing and Verification on the Truck Simulation
Formal Specification and Verification of Knowledge and its Application
Program-level Specification and Deductive Verification of Security Properties
Specification and verification of security policies for smart cards
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
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 verification of cryptographic security proofs
Formal Specification and Verification for Automated Production Systems
Verification of Security Properties Using Formal Techniques
Formal Specification, Testing and Verification on the Truck Simulation
Formal Specification and Verification of Knowledge and its Application
Program-level Specification and Deductive Verification of Security Properties
Specification and verification of security policies for smart cards
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
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 verification of cryptographic security proofs
Formal Specification and Verification for Automated Production Systems
Verification of Security Properties Using Formal Techniques
Formal Specification, Testing and Verification on the Truck Simulation
Formal Specification and Verification of Knowledge and its Application
Program-level Specification and Deductive Verification of Security Properties
Specification and verification of security policies for smart cards
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL