Personensuche
X
?
Proceedings of the 6th ACM workshop on Formal methods in security engineering ,
1
Formal analysis of SAML 2.0 web browser single sign-on :..:
, In:
?
Management, Technology, and Economic Growth in Smart and Sustainable Cities; Advances in Finance, Accounting, and Economics ,
2