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

International audienceMost modern embedded systems include an operatingsystem. Not all functions in the operating systems have to fulfill thesame security requirements. In this work we propose a mechanism toidentify and maintain functions that have to meet strict security needs.This mechanism is based on annotations representing security constrainsand assertions to check these security annotations during theverification phase of the system under development

Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions