Hybrid Information Flow Control for Low-Level Code

Autor:	Eduardo Geraldo, José Fragoso Santos, João Costa Seco
Rok vydání:	2021
Zdroj:	Software Engineering and Formal Methods ISBN: 9783030921231
DOI:	10.1007/978-3-030-92124-8_9
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::dea767d8d3431bf7edb3d455000c8623 https://doi.org/10.1007/978-3-030-92124-8_9 Zobrazit plný text záznamu