Catégorie Rapport https://hal.science/hal-01172621v1 doc ID 1172621 Nom Trust management formal techniques and systems Date de publication jeu 27/10/2022 - 12:00