Crossmark

On the verification of system-level information flow properties for virtualized execution platforms

Published Online: 2019-05-25

Published Print: 2019-09

Authors

Baumann, Christoph https://orcid.org/0000-0003-4889-8326
Schwarz, Oliver https://orcid.org/0000-0003-3434-5640
Dam, Mads https://orcid.org/0000-0001-5432-6442
Funding

Funding for this research was provided by:

Stiftelsen för Strategisk Forskning (PROSPER)

VINNOVA (HASPOC)

Myndigheten för Samhällsskydd och Beredskap (CERCES)
License Information

Text and Data Mining valid from 2019-05-25

Version of Record valid from 2019-05-25
More Information

Article History

Received: 31 January 2018

Accepted: 14 May 2019

First Online: 25 May 2019

Document is current