Stanford University / University of California / /
IndustryTerm
particular cross-site / web attack / web service security / cross-site / Internet-Draft / web applications / malicious web sites / web security invariants / bank account / model web servers / web attacker / arbitrary web sites / web platform / software tool / model-checking tool / potential solution / web browsing / web origin / web application / clear web security invariants / web browser / web standards / web protocols / real-world web security mechanisms / main web server / web concepts / honest server / network protocol / particular web security mechanism / Web Toolkit / search size / honest web sites / web application programming technique / sign-on solution / web servers / web mechanisms / well-understood network protocol / possible solution / honest site / vulnerable web protocol / malicious web site / legacy server / highsecurity web sites / secure network protocol using custom client software / sample web mechanisms / web functionality / malicious site / honest web server / web server / web security / proposed web mechanism / web address / Web Concepts The / honest web site / normal web behavior / web security mechanism / distributed applications / web security model / web security mechanisms / Internet Explorer / example web security mechanisms / /
Organization
University of California / Berkeley / Stanford University / Formal Foundation of Web Security Devdatta Akhawe∗ / /
Person
ASE S TUDIES / John Mitchell / Dawn Song / Adam Barth / /
Position
recent Editor / /
ProgrammingLanguage
HTML / JavaScript / /
SportsLeague
Stanford University / /
Technology
API / HTML / SSL / web protocols / vulnerable web protocol / network protocol / secure network protocol / updated protocol / DNS / well-understood network protocol / HTTP / web server / network protocols / /
Towards a Formal Foundation of Web Security Devdatta Akhawe∗ , Adam Barth∗ , Peifung E. Lam† , John Mitchell† and Dawn Song∗ ∗ University of California, Berkeley {devdatta,abarth,dawnsong}@cs.berkeley.edu †