Model-Driven Security Analysis of Self-Sovereign Identity Systems | IEEE Conference Publication | IEEE Xplore