Proving confidentiality in a file system using DISKSEC
Proving confidentiality in a file system using DISKSEC
复制标题
使用 DISKSEC 证明文件系统的机密性
DOI:
--
复制
发表时间:
2018
期刊:
影响因子:
--
通讯作者:
Zeldovich, Nickolai
中科院分区:
文献类型:
--
作者:
Ileri, Atalay;Chajed, Tej;Chlipala, Adam;Kaashoek, Frans;Zeldovich, Nickolai