Hochschulschrift
Program-level Specification and Deductive Verification of Security Properties
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2014
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2014
- Creator
- Contributor
-
Schmitt, P. H.
- URN
-
urn:nbn:de:swb:90-468785
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
- Scheben, Christoph
- Schmitt, P. H.
- KIT-Bibliothek
Time of origin
- 2014
Other Objects (12)
Specification and verification of security policies for smart cards
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Verification of program computations
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
The foundations of program verification
Data flow in program verification
The foundations of program verification
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Specification and verification of security policies for smart cards
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Verification of program computations
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
The foundations of program verification
Data flow in program verification
The foundations of program verification
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Specification and verification of security policies for smart cards
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Verification of program computations
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
The foundations of program verification
Data flow in program verification
The foundations of program verification
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification