Logics to Reason Formally About Trust Computation and Manipulation

Bibliographische Detailangaben

Veröffentlicht in:	ETAA (2. : 2019 : Luxemburg) Emerging technologies for authorization and authentication
1. Verfasser:	Aldini, Alessandro (VerfasserIn)
Weitere Verfasser:	Tagliaferri, Mirko (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!