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 Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

International audienceJava card technology have progressed at the point ofrunning web servers and web clients on a smart card. Yet concretedeployment of multi-applications smart cards have remained extremelyrare because the business model of the asynchronous download and updateof appli- cations by di erent parties requires the control ofinteractions among possible applications after the card has been elded.Yet the current se- curity models and techniques do not support thistype of evolution. We propose in this paper to apply the notion ofsecurity-by-contract (S C), that is a speci cation of the securitybehavior of an application that must be compliant with the securitypolicy of the hosting platform. This compliance can be checked at loadtime and in this way avoid the need for costly run-time monitoring. Weshow how the S C approach can be used to prevent illegal informationexchange among several applications on a single smart card platform, andto deal with dynamic changes in both contracts and platformpolicy

Can We Support Applications’ Evolution in Multi-application Smart Cards by Security-by-Contract?