Modeling and Enforcing Access Control Policies for Smart Contracts
Töberg, Jan-Philipp 1; Schiffl, Jonas
2; Reiche, Frederik 2; Beckert, Bernhard
2; Heinrich, Robert 2; Reussner, Ralf 2
1 Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2; Reiche, Frederik 2; Beckert, Bernhard
2; Heinrich, Robert 2; Reussner, Ralf 21 Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-66549-172-3 KITopen-ID: 1000152805 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Conference Proceedings: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) |
| Veranstaltung | 4th IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS 2022), Newark, CA, USA, 15.08.2022 – 18.08.2022 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 38–47 |
| Serie | IEEE International Conference on Decentralized Applications and Infrastructures |
| Vorab online veröffentlicht am | 27.09.2022 |
| Nachgewiesen in | Dimensions Scopus |