Nickel: A Framework for Design and Verification of Information Flow Control Systems
Nickel: A Framework for Design and Verification of Information Flow Control Systems
复制标题
Nickel：信息流控制系统的设计和验证框架
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Wang, Xi
中科院分区：
文献类型：
--
作者：
Sigurbjarnarson, Helgi;Nelson, Luke;Castro-Karney, Bruno;Bornholt, James;Torlak, Emina;Wang, Xi
登录
查看更多内容
通过崩溃优化对文件系统进行一键式验证
DOI：
--
发表时间：
2016
期刊：
USENIX Annual Technical Conference
影响因子：
--
作者：
Helgi Sigurbjarnarson;James Bornholt;Nicolas Christin;L. Cranor
通讯作者：
L. Cranor
Haskell 中的安全多线程信息流库
DOI：
10.1109/csf.2007.6
发表时间：
2007
期刊：
20th IEEE Computer Security Foundations Symposium (CSF'07)
影响因子：
--
作者：
Ta;Alejandro Russo;John Hughes
通讯作者：
John Hughes
COVERN：信息流控制的组合验证逻辑
DOI：
10.1109/eurosp.2018.00010
发表时间：
2018
期刊：
2018 IEEE European Symposium on Security and Privacy (EuroS&P)
影响因子：
--
作者：
Toby C. Murray;Robert Sison;Kai Engelhardt
通讯作者：
Kai Engelhardt
DOI：
10.1145/1866307.1866340
发表时间：
2010-10
期刊：
--
影响因子：
--
作者：
William R. Harris;S. Jha;T. Reps
通讯作者：
William R. Harris;S. Jha;T. Reps
DOI：
10.1007/11547662_24
发表时间：
2005-09
期刊：
--
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
Tachio Terauchi;A. Aiken