Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification (bibtex)

by Domenico Cotroneo, Luigi De Simone and Roberto Natella

Reference:

Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification (Domenico Cotroneo, Luigi De Simone and Roberto Natella), In Computers & Security (COSE), Elsevier, volume 106, 2021.

Bibtex Entry:

@article{DBLP:journals/compsec/CotroneoSN21,
	author = {Domenico Cotroneo and
                  Luigi De Simone and
                  Roberto Natella},
	title = {Timing covert channel analysis of the VxWorks {MILS} embedded hypervisor
                  under the common criteria security certification},
	journal = {Computers \& Security (COSE)},
	volume = {106},
	pages = {102307},
	year = {2021},
	url = {https://doi.org/10.1016/j.cose.2021.102307},
	doi = {10.1016/j.cose.2021.102307},
	timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
	biburl = {https://dblp.org/rec/journals/compsec/CotroneoSN21.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	publisher = {Elsevier}
}