Madrid / Paphos / SAML / a SAT / Vienna / Lincoln / /
Company
Google / Facebook / Server / Goal Assertion / Needham / I. Cervesato N. A. / Yahoo / Intel / IBM / /
Country
Cyprus / Austria / Spain / / /
Event
FDA Phase / /
IndustryTerm
web applications / deployed web identity management workflow / communications security / analyzed protocols / security protocol / public key protocols / model analysis tool / contemporary identity management solutions / web user interacting / web browser / web identity federation / distributed computing / web protocols / web user / web identity management standards / web identity management protocols / deployed identity federation protocol / important web identity federation protocols / needed security analysis tool / identity federation protocol / search-space / secure single sign-on protocol / web mechanisms / web developers / Web-browser cookies / web browser single sign-on / Web-based Identity Federation Apurva Kumar / web authorization delegation protocol / Web Security / subsets representing web service providers / security protocols / Web Protocols In / bounded security protocols / web protocol analysis / /
Organization
ID Federation / Identity Federation / /
Person
Bruno Blanchet / /
Product
Alloy / using Alloy / B2 / /
PublishedMedium
Journal of the ACM / IEEE Transactions on Information Theory / /
Technology
web identity management protocols / SAML ID federation protocol / private key / security protocols / sign-on protocol / important web identity federation protocols / SSL / Analyzing security protocols / web protocols / deployed identity federation protocol / identity federation protocol / encryption / security protocol / Public key / SAML protocol / bounded security protocols / web authorization delegation protocol / following protocol / HTTP / 2.0 SSO protocol / IDaaS protocols / public key protocols / SAML identity federation protocol / OpenID SSO protocol / signed using the private key / /