Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle

Bibliographische Detailangaben

Veröffentlicht in:	European Symposium on Research in Computer Security (28. : 2023 : Den Haag) Computer security ; Part 2: CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AL, and SECAI
1. Verfasser:	Kammüller, Florian (VerfasserIn)
Pages:	2
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2024
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!