Is there a repository with a more comprehensive set of Alloy models for web/server protocols?
Eunsuk Kang has Alloy files for web browser same origin policies and another for OAuth2 on his GitHub.
Jay Parlar mentioned he wrote up SAML for a client at StangeLoop 2019, but it doesn’t seem to be public.
I’m doing an Elastic Enterprise integration for a Fortune 500 and it is a complexity zoo - GitHub Enterprise, Atlassian products, Microsoft 365 Enterprise, AWS AMI, Active Directory, SAML, …