English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The web constitutes a complex infrastructure and as demonstrated by numerousattacks, rigorous analysis of standards and web applications is indispensable.  Inspired by successful prior work, in particular the work by Akhawe et al. aswell as Bansal et al., in this work we propose a formal model for the webinfrastructure. While unlike prior works, which aim at automatic analysis, ourmodel so far is not directly amenable to automation, it is much morecomprehensive and accurate with respect to the standards and specifications. Assuch, it can serve as a solid basis for the analysis of a broad range ofstandards and applications.  As a case study and another important contribution of our work, we use ourmodel to carry out the first rigorous analysis of the BrowserID system (a.k.a.Mozilla Persona), a recently developed complex real-world single sign-on systemthat employs technologies such as AJAX, cross-document messaging, and HTML5 webstorage. Our analysis revealed a number of very critical flaws that could nothave been captured in prior models. We propose fixes for the flaws, formallystate relevant security properties, and prove that the fixed system in asetting with a so-called secondary identity provider satisfies these securityproperties in our model. The fixes for the most critical flaws have alreadybeen adopted by Mozilla and our findings have been rewarded by the MozillaSecurity Bug Bounty Program.

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