Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2022
- Keyword
-
Verifikation
Requirements engineering
Elektronische Wahl
Datensicherung
Computersicherheit
Formale Methode
Zuverlässigkeit
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2023
- Creator
- Contributor
-
Beckert, Bernhard
Schürmann, Carsten
- DOI
-
10.5445/IR/1000155115
- URN
-
urn:nbn:de:101:1-2023020103582769251242
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Kirsten, Michael
- Beckert, Bernhard
- Schürmann, Carsten
- KIT-Bibliothek
Time of origin
- 2023
Other Objects (12)
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
Third International Workshop on Trustworthy Embedded Devices (TrustED 2013)
Towards trustworthy elections : new directions in electronic voting
Engineering Trustworthy Systems by Minimizing and Strengthening their TCBs using Trusted Computing
Architecting systems with trustworthy components : 04511 abstracts collection ; Dagstuhl seminar
Trustworthy authority
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy by Convention
Trusted Learning Analytics
Voting Advice Applications and the Estimation of Party Positions - A Reliable Tool?
Workshop on Trustworthy Software
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
Third International Workshop on Trustworthy Embedded Devices (TrustED 2013)
Towards trustworthy elections : new directions in electronic voting
Engineering Trustworthy Systems by Minimizing and Strengthening their TCBs using Trusted Computing
Architecting systems with trustworthy components : 04511 abstracts collection ; Dagstuhl seminar
Trustworthy authority
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy by Convention
Trusted Learning Analytics
Voting Advice Applications and the Estimation of Party Positions - A Reliable Tool?
Workshop on Trustworthy Software
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
Third International Workshop on Trustworthy Embedded Devices (TrustED 2013)
Towards trustworthy elections : new directions in electronic voting
Engineering Trustworthy Systems by Minimizing and Strengthening their TCBs using Trusted Computing
Architecting systems with trustworthy components : 04511 abstracts collection ; Dagstuhl seminar
Trustworthy authority
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy by Convention
Trusted Learning Analytics
Voting Advice Applications and the Estimation of Party Positions - A Reliable Tool?