Hochschulschrift
Verification of Security Properties Using Formal Techniques
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Göttingen, Georg-August Universität, Diss., 2013
- Ereignis
-
Veröffentlichung
- (wo)
-
Göttingen
- (wer)
-
Niedersächsische Staats- und Universitätsbibliothek Göttingen
- (wann)
-
2014
- Urheber
-
Al-Shadly, Saleh
- Beteiligte Personen und Organisationen
-
Hogrefe, Dieter
Fu, Xiaoming
Grabowski, Jens
Eckart, Modrow
Rieck, Konrad
Waack, Stephan
- Handle
-
11858/00-1735-0000-0022-5E24-0
- URN
-
urn:nbn:de:gbv:7-11858/00-1735-0000-0022-5E24-0-3
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
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
- Al-Shadly, Saleh
- Hogrefe, Dieter
- Fu, Xiaoming
- Grabowski, Jens
- Eckart, Modrow
- Rieck, Konrad
- Waack, Stephan
- Niedersächsische Staats- und Universitätsbibliothek Göttingen
Entstanden
- 2014
Ähnliche Objekte (12)
Formal verification of cryptographic security proofs
Formal specification and verification : structures and techniques
Formal verification of sequential circuits using reasoning techniques
Symbolic verification of computational security for branching-time properties.
Program-level Specification and Deductive Verification of Security Properties
A survey on formal verification techniques for safety-critical systems-on-chip
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of cryptographic security proofs
Formal specification and verification : structures and techniques
Formal verification of sequential circuits using reasoning techniques
Symbolic verification of computational security for branching-time properties.
Program-level Specification and Deductive Verification of Security Properties
A survey on formal verification techniques for safety-critical systems-on-chip
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of cryptographic security proofs
Formal specification and verification : structures and techniques
Formal verification of sequential circuits using reasoning techniques
Symbolic verification of computational security for branching-time properties.
Program-level Specification and Deductive Verification of Security Properties
A survey on formal verification techniques for safety-critical systems-on-chip
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors