FREE Registration is required
Overview:
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by different companies. The OASIS Security Assertion Markup Language (SAML) 2.0 Web Browser SSO Profile is the emerging standard in this context. This paper provides formal models of the protocol corresponding to one of the most applied use case scenario (the SP-Initiated SSO with Redirect/POST Bindings) and of a variant of the protocol implemented by Google and currently in use by Google's customers (the SAML-based SSO for Google Applications). The paper has mechanically analysed these formal models with SATMC, a state-of-the-art model checker for security protocols.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 512 KB | |
| Date: | Oct 2008 | ||
| Pages: | 9 |
People who downloaded this item also downloaded
White Papers, Webcasts, and Resources
- Best Practices in the Call Center: A Customer Touch-Point Methodology OracleImprove customer satisfaction in your contact center -- while reducing costs -- with an approach that puts all client touch-points on one continuum.
- The Essential Guide: Real-Time High Availability for Exchange - Replicate Exchange Data for Improved Resiliency CA XOsoftSurvive major interruptions to your Exchange environment--and improve its resiliency and availability--with a real-time data replication solution.
- Jeweler Moves to Online Services to Boost Productivity and Cut Costs by 90 Percent MicrosoftLearn how one jewelry retailer reduced infrastructure costs by 90 percent and e-mail support work by 80 percent using Microsoft Online Services.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
- SmartPlanet
Discover innovative insight and ideas that impact the world around you -
SmartPlanet offers expert advice on innovations in healthcare, including electronic personal health records, treatment, privacy and regulation, and the green technologies that make it happen.
- Learn more >>
Featured Training Courses
SmartPlanet
- Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
- More from IBM
- Can your business work smarter? Learn more about Lotus Symphony
- Learn how to work smarter and optimize cost using the IBM Smart SOA approach Download the eBook
- Smarter ways to make smarter products Read the brief from IBM








