Compositional Non-interference for Concurrent Programs via Separation and Framing

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

DOI

Original languageEnglish
Title of host publicationPrinciples of Security and Trust
EditorsLujo Bauer, Ralf Küsters
Number of pages26
Volume10804
Place of publicationCham
PublisherSpringer VS
Publication year2018
Pages53-78
ISBN (print)978-3-319-89722-6
DOIs
Publication statusPublished - 2018
EventETAPS 2018 - Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
https://www.etaps.org/

Conference

ConferenceETAPS 2018
LandGreece
ByThessaloniki
Periode14/04/201820/04/2018
Internetadresse
SeriesLecture Notes in Computer Science (LNCS)
Number10804
ISSN0302-9743

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 138165515