Model-Driven Security Analysis of Self-Sovereign Identity Systems

arXiv:2406.00620v1 Announce Type: new
Abstract: Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architectural patterns for systematic analysis and design reference, which significantly boosts productivity and increases the dependability of future implementations. For security-sensitive projects, architects make architectural decisions with careful consideration of security issues and solutions based on formal analysis and experiment results. In this paper, we propose a model-driven security analysis …

academia analysis architects arxiv best practices cs.cr dependability design future identity industry patterns practices productivity projects reference security security analysis sensitive solutions ssi systems