Modelling and Enforcing Access Control Requirements for Smart Contracts
Version vom 10. Januar 2022, 09:47 Uhr von Frederik Reiche (Diskussion | Beiträge) (Dv9597 verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts)
Vortragende(r) | Jan-Philipp Töberg | |
---|---|---|
Vortragstyp | Masterarbeit | |
Betreuer(in) | Frederik Reiche | |
Termin | Fr 21. Januar 2022 | |
Vortragsmodus | ||
Kurzfassung | Kurzfassung |