文献
J-GLOBAL ID:202002278657042801
整理番号:20A1423042
異なる仮定の下でのHTTPのためのRFC8120認証プロトコルの形式的解析【JST・京大機械翻訳】
Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions
著者 (3件):
Okumura Naomi
(School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan)
,
Ogata Kazuhiro
(School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan)
,
Shinoda Yoichi
(School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan)
資料名:
Journal of Information Security and Applications
(Journal of Information Security and Applications)
巻:
53
ページ:
Null
発行年:
2020年
JST資料番号:
W2985A
ISSN:
2214-2126
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)