Precise quantitative information flow analysis - a symbolic approach
Precise quantitative information flow analysis - a symbolic approach
复制标题
精确定量信息流分析——符号方法
DOI：
--
复制
发表时间：
2014
影响因子：
1.1
通讯作者：
V. Klebanov
中科院分区：
文献类型：
--
作者：
V. Klebanov
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
DOI：
10.1145/1920261.1920300
发表时间：
2010-12
期刊：
--
影响因子：
--
作者：
J. Heusser;P. Malacaria
通讯作者：
J. Heusser;P. Malacaria
DOI：
10.1145/2382756.2382791
发表时间：
2012
期刊：
ACM SIGSOFT Software Engineering Notes
影响因子：
--
作者：
Phan Q
通讯作者：
Phan Q