Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2022
- Schlagwort
-
Verifikation
Requirements engineering
Elektronische Wahl
Datensicherung
Computersicherheit
Formale Methode
Zuverlässigkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT-Bibliothek
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Beckert, Bernhard
Schürmann, Carsten
- DOI
-
10.5445/IR/1000155115
- URN
-
urn:nbn:de:101:1-2023020103582769251242
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:25 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.
Beteiligte
- Kirsten, Michael
- Beckert, Bernhard
- Schürmann, Carsten
- KIT-Bibliothek
Entstanden
- 2023
Ähnliche Objekte (12)
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
Third International Workshop on Trustworthy Embedded Devices (TrustED 2013)
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
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 by Convention
Trustworthy artificial intelligence
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy artificial intelligence
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
Third International Workshop on Trustworthy Embedded Devices (TrustED 2013)
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
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 by Convention
Trustworthy artificial intelligence
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy artificial intelligence
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
Third International Workshop on Trustworthy Embedded Devices (TrustED 2013)
Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments
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 by Convention
Trustworthy artificial intelligence
Trustworthy Preservation Planning
Trustworthy artificial intelligence