Compositional Non-interference for Concurrent Programs via Separation and Framing

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Dokumenter

DOI

OriginalsprogEngelsk
TitelPrinciples of Security and Trust
RedaktørerLujo Bauer, Ralf Küsters
Antal sider26
Vol/bind10804
UdgivelsesstedCham
ForlagSpringer VS
Udgivelsesår2018
Sider53-78
ISBN (trykt)978-3-319-89722-6
DOI
StatusUdgivet - 2018
BegivenhedETAPS 2018 - Thessaloniki, Grækenland
Varighed: 14 apr. 201820 apr. 2018
https://www.etaps.org/

Konference

KonferenceETAPS 2018
LandGrækenland
ByThessaloniki
Periode14/04/201820/04/2018
Internetadresse
SerietitelLecture Notes in Computer Science (LNCS)
Nummer10804
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 138165515