Martı́n Abadi, Logic in access control, In 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., 228–233. IEEE, 2003.
Deepak Garg, Martı́n Abadi, A modal deconstruction of access control logics, In International Conference on Foundations of Software Science and Computational Structures, pages 216–230. Springer, 2008.
Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III. Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3(ICFP):1–30, 2019.
Geovane Fedrecheski, Jan M. Rabaey et al. Self-sovereign identity for IoT environments: a perspective
Quinten Stokkink, Dick Epema, Johan Pouwelse, A truly self-sovereign identity system, arxiv/2007.00415
Wessel Reijers, Fiachra O’Brolcháin, Paul Haynes, Governance in blockchain technologies & social contract theories, Ledger 1 (2016) 134−151
David Rozas et al. When Ostrom meets blockchain: exploring the potentials of blockchain for commons governance, SAGE Open, January-March 2021: 1–14 doi
Fennie Wang, Primavera De Filippi, Self-Sovereign Identity in a Globalized World: Credentials-Based Identity Systems as a Driver for Economic Inclusion, Hypothesis and theory article Front. Blockchain, Jan 2020 doi
J.J.M.M.Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science (Fundamental Study) 249:1 (2000) 3-80 doi
Last revised on July 10, 2021 at 17:56:33.
See the history of this page for a list of all contributions to it.