Completed
Web Browser Model
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
A Comprehensive Formal Security Analysis of OAuth 2.0
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Our Contributions
- 3 Formal Analysis of Web Applications and Standards
- 4 Sources
- 5 Web Model
- 6 Web Browser Model
- 7 Limitations
- 8 Previous Work
- 9 OAuth Modes
- 10 Multiple IdPs
- 11 Authorization Property
- 12 Authentication Property
- 13 Session Integrity Property
- 14 Attacks: Overview
- 15 307 Redirect Attack
- 16 IdP Mix-Up Attack in implicit Mode
- 17 IdP Mix-Up Attack: Mitigation
- 18 Impact
- 19 Proof: Assumptions
- 20 Session Integrity: Network Attacker
- 21 OAuth 2.0: Security Proof
- 22 Some Related Work
