Quantitative Information Flow as Safety and Liveness Hyperproperties. In Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012)
Quantitative Information Flow as Safety and Liveness Hyperproperties. In Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012)
复制标题
作为安全性和活性超属性的定量信息流。
DOI：
--
复制
发表时间：
2012
影响因子：
--
通讯作者：
Hirotoshi Yasuoka and Tachio Terauchi
中科院分区：
文献类型：
--
作者：
Hiroshi Unno;Tachio Terauchi;Naoki Kobayashi;Tachio Terauchi;Hirotoshi Yasuoka and Tachio Terauchi
