2017年8月
On the Compositionality of Quantitative Information Flow
Logical Methods in Computer Science
- ,
- ,
- 巻
- 13
- 号
- 3:11
- 開始ページ
- 1
- 終了ページ
- 31
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.23638/LMCS-13(3:11)2017
- 出版者・発行元
- Technical University of Braunschweig
- リンク情報
-
- DOI
- https://doi.org/10.23638/LMCS-13(3:11)2017
- 共同研究・競争的資金等の研究課題
- 統計手法と形式手法の融合によるサイバーフィジカルシステムの定量的検証
- 共同研究・競争的資金等の研究課題
- 論理的-形式的手法による情報セキュリティ研究-暗号プロトコル検証と量的情報流解析
- URL
- https://lmcs.episciences.org/3860/pdf 本文へのリンクあり
- ID情報
-
- DOI : 10.23638/LMCS-13(3:11)2017