Hochschulschrift
A uniform framework for the formal specification and verification of information flow security
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
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
- URN
-
urn:nbn:de:bsz:291-scidok-2024
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:23 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 Specification and Verification for Automated Production Systems
Formal verification of cryptographic security proofs
Formal Specification, Testing and Verification on the Truck Simulation
Formal Specification and Verification of Knowledge and its Application
Verification of Security Properties Using Formal Techniques
Specification and verification of security policies for smart cards
Program-level Specification and Deductive Verification of Security Properties
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
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 verification of cryptographic security proofs
Formal Specification, Testing and Verification on the Truck Simulation
Formal Specification and Verification of Knowledge and its Application
Verification of Security Properties Using Formal Techniques
Specification and verification of security policies for smart cards
Program-level Specification and Deductive Verification of Security Properties
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
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 verification of cryptographic security proofs
Formal Specification, Testing and Verification on the Truck Simulation
Formal Specification and Verification of Knowledge and its Application
Verification of Security Properties Using Formal Techniques
Specification and verification of security policies for smart cards
Program-level Specification and Deductive Verification of Security Properties
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL