KIT | KIT-Bibliothek | Impressum | Datenschutz

Modeling and Verifying Access Control for Ethereum Smart Contracts

Reiche, Frederik; Schiffl, Jonas ORCID iD icon; Beckert, Bernhard ORCID iD icon; Heinrich, Robert; Reussner, Ralf


Volltext §
DOI: 10.5445/IR/1000129607
Veröffentlicht am 08.03.2021
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsdatum 12.02.2021
Sprache Englisch
Identifikator KITopen-ID: 1000129607
Verlag Karlsruher Institut für Technologie (KIT)
Projektinformation KASTEL_SVI (BMBF, 16KIS0521)
Schlagwörter Access Control, Smart Contracts, Model-driven Software Development, Architecture Modeling, Code Generation, Verification, Formal Methods
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page