Quantitative Information Flow-Verification Hardness and Possibilities
Quantitative Information Flow-Verification Hardness and Possibilities
复制标题
定量信息流-验证难度和可能性
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Tachio Terauchi
中科院分区：
文献类型：
--
作者：
Hirotoshi Yasuoka;Tachio Terauchi
登录
查看更多内容
DOI：
10.1145/360204.360220
发表时间：
2001
期刊：
--
影响因子：
--
作者：
C. Flanagan;J. Saxe
通讯作者：
C. Flanagan;J. Saxe
DOI：
10.1007/11547662_24
发表时间：
2005-09
期刊：
--
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
Tachio Terauchi;A. Aiken
PP 与多项式时间层次结构一样困难
DOI：
--
发表时间：
1991
期刊：
SIAM journal on computing (Print)
影响因子：
--
作者：
Seinosuke Toda
通讯作者：
Seinosuke Toda
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
第三届 ACM SIGPLAN 编程语言和安全分析研讨会论文集
DOI：
10.1145/1375696.1375706
发表时间：
2008
期刊：
影响因子：
--
作者：
J. Cheney;Morten Dahl
通讯作者：
Morten Dahl