An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

@article{Fett2014AnEM,
  title={An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System},
  author={Daniel Fett and Ralf K{\"u}sters and Guido Schmitz},
  journal={2014 IEEE Symposium on Security and Privacy},
  year={2014},
  pages={673-688}
}
The web constitutes a complex infrastructure and, as demonstrated by numerous attacks, rigorous analysis of standards and web applications is indispensable. Inspired by successful prior work, in particular the work by Akhawe et al. as well as Bansal et al., in this work we propose a formal model for the web infrastructure. While unlike prior works, which aim at automatic analysis, our model so far is not directly amenable to automation, it is much more comprehensive and accurate with respect to… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 2 times over the past 90 days. VIEW TWEETS
30 Citations
28 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 30 extracted citations

51 Citations

01020'13'14'15'16'17'18
Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 28 references

An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System

  • D. Fett, R. Küsters, G. Schmitz
  • In IEEE Symposium on Security and Privacy (S&P
  • 2014

Similar Papers

Loading similar papers…