Modelling and Enforcing Access Control Requirements for Smart Contracts - Data Set
Abstract (englisch):
This data set contains files used, adapted or created for the master's thesis of Jan-Philipp Töberg with the titel "Modelling and Enforcing Access Control Requirements for Smart Contracts". It includes the metamodels, generators, modified analysis as well as the models and source code for the evaluation.
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Forschungsdaten |
| Publikationsjahr | 2022 |
| Identifikator | KITopen-ID: 1000144114 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Liesmich | See MasterThesis_DataSetInstructions.pdf in the ZIP-File |
| Relationen in KITopen | |
| Referent/Betreuer | Schiffl, Jonas Reiche, Frederik |