Specification and verification of security protocols and their utilization in scenario-based requirements engineering
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Paderborn, Universität Paderborn, Dissertation, 2024
- Keyword
-
Datensicherung
Verifikation
Requirements engineering
Computersicherheit
Formale Methode
Formale Spezifikationstechnik
- Event
-
Veröffentlichung
- (where)
-
Paderborn
- (who)
-
Universitätsbibliothek
- (when)
-
2024
- Creator
-
Koch, Thorsten
- URN
-
urn:nbn:de:hbz:466:2-52648
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 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.
Associated
- Koch, Thorsten
- Universitätsbibliothek
Time of origin
- 2024
Other Objects (12)
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Operational semantics and verification of security protocols
Scenario-based verification of uncertain parametric MDPs
Scenario-based derivation of digital ecosystem requirements
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Safe requirements engineering : a scenario-based approach for identifying complete safety-oriented requirements
Automated verification of system requirements and software specifications
Verification requirements for a nuclear agreement with Iran
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Operational semantics and verification of security protocols
Scenario-based verification of uncertain parametric MDPs
Scenario-based derivation of digital ecosystem requirements
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Safe requirements engineering : a scenario-based approach for identifying complete safety-oriented requirements
Automated verification of system requirements and software specifications
Verification requirements for a nuclear agreement with Iran
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Operational semantics and verification of security protocols
Scenario-based verification of uncertain parametric MDPs
Scenario-based derivation of digital ecosystem requirements
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Safe requirements engineering : a scenario-based approach for identifying complete safety-oriented requirements
Automated verification of system requirements and software specifications