KIT | KIT-Bibliothek | Impressum | Datenschutz

Modelling and Enforcing Access Control Requirements for Smart Contracts

Töberg, Jan-Philipp

Abstract:

Ein Smart Contract ist ein auf der Blockchain basierendes Softwaresystem zur dezentralen und unveränderlichen Behandlung von Transaktionen.Aufgrund dieser zugrundeliegenden Unveränderlichkeit können Smart Contracts nach ihrer initialen Veröffentlichung nicht mehr modifiziert werden. Selbst Softwarefehler oder Sicherheitslücken können nicht im Nachhinein behoben werden. Um die Korrektheit und Sicherheit der Contracts vor der Veröffentlichung festzustellen, müssen statische Analysen verwendet werden.
Aufgrund der zugrundeliegenden Blockchain Technologie muss eine Funktion des Smart Contracts genutzt werden, um eine Variable zu modifizieren. ... mehr

Abstract (englisch):

Smart contracts are software systems employing the underlying blockchain technology to handle transactions in a decentralized and immutable manner. Due to the immutability of the blockchain, smart contracts cannot be upgraded after their initial deploy. Therefore, reasoning about a contract’s security aspects needs to happen before the deployment. One common vulnerability for smart contracts is improper access control, which enables entities to modify data or employ functionality they are prohibited from accessing. Due to the nature of the blockchain, access to data, represented through state variables, can only be achieved by employing the contract’s functions. ... mehr


Volltext §
DOI: 10.5445/IR/1000144204
Veröffentlicht am 23.03.2022
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Hochschulschrift
Publikationsjahr 2022
Sprache Englisch
Identifikator KITopen-ID: 1000144204
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XVI, 146 S.
Art der Arbeit Abschlussarbeit - Master
Prüfungsdaten 13.01.2022
Relationen in KITopen
Referent/Betreuer Reiche, Frederik
Schiffl, Jonas
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page