On the Compositionality of Quantitative Information Flow
DOI
オープンアクセス
-
- 川本 裕輔
- 国立研究開発法人産業技術総合研究所
書誌事項
- タイトル
- On the Compositionality of Quantitative Information Flow
- 著者
- Yusuke Kawamoto, Konstantinos Chatzikokolakis, and Catuscia Palamidessi
収録刊行物
-
- Logical Methods in Computer Science
-
Logical Methods in Computer Science 13 1-31, 2017