文献
J-GLOBAL ID:202002266732514242
整理番号:20A0875563
定量的セキュリティ保証に向けた自動推論【JST・京大機械翻訳】
Automated Reasoning towards Quantitative Security Assurance
著者 (4件):
Zhou Zhengshu
(Nagoya University,Graduate School of Informatics,Nagoya,Aichi,Japan)
,
Zhi Qiang
(Nagoya University,Graduate School of Informatics,Nagoya,Aichi,Japan)
,
Yamamoto Shuichiro
(Nagoya University,Graduate School of Informatics,Nagoya,Aichi,Japan)
,
Liang Zilong
(University of Tsukuba,Graduate School of Systems and Information Engineering,Tsukuba,Ibaraki,Japan)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
ICSESS
ページ:
394-399
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)