Static Evaluation of Noninterference Using Approximate Model Counting
Static Evaluation of Noninterference Using Approximate Model Counting
复制标题
使用近似模型计数静态评估无干扰性
DOI：
10.1109/sp.2018.00052
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Zhang, Yinqian
中科院分区：
文献类型：
--
作者：
Zhou, Ziqiao;Qian, Zhiyun;Reiter, Michael K.;Zhang, Yinqian
登录
查看更多内容
DOI：
10.1109/csf.2016.34
发表时间：
2016-08
期刊：
2016 IEEE 29th Computer Security Foundations Symposium (CSF)
影响因子：
--
作者：
C. Păsăreanu;Quoc-Sang Phan;P. Malacaria
通讯作者：
C. Păsăreanu;Quoc-Sang Phan;P. Malacaria
DOI：
10.1145/2810103.2813643
发表时间：
2015-10
期刊：
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
影响因子：
--
作者：
Qi Alfred Chen;Zhiyun Qian;Yunhan Jia;Yuru Shao;Z. Morley Mao
通讯作者：
Qi Alfred Chen;Zhiyun Qian;Yunhan Jia;Yuru Shao;Z. Morley Mao
影响因子：
--
作者：
Janaka Alawatugoda;D. Stebila;C. Boyd
通讯作者：
Janaka Alawatugoda;D. Stebila;C. Boyd
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
DOI：
10.1109/csf.2010.8
发表时间：
2010-07
期刊：
2010 23rd IEEE Computer Security Foundations Symposium
影响因子：
--
作者：
Boris Köpf;A. Rybalchenko
通讯作者：
Boris Köpf;A. Rybalchenko