Polynomial Time Verification Methods for the Security of Cryptographic Protocols

このアイテムのアクセス数:169件（2020-10-29 14:20 集計）

このアイテムへのリンクには次のURLをご利用ください:https://doi.org/10.11501/3129221

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/513

ファイル	フォーマット	サイズ	閲覧回数	説明
12829_要旨	pdf	154 KB	23	要旨/Abstract
12829_論文	pdf	7.58 MB	34	論文/Dissertation

タイトル	Polynomial Time Verification Methods for the Security of Cryptographic Protocols
別タイトル	暗号を用いたプロトコルに対する多項式時間安全性検証法
タイトル (ヨミ)	アンゴウヲモチイタプロトコルニタイスルタコウシキジカンアンゼンセイケンショウホウ
著者	Watanabe, Hajime Watanabe, Hajime
著者の別表記	渡邊, 創
著者 (ヨミ)	ワタナベ, ハジメ
学位名	博士（工学）
学位授与年月日	1997-02-20
学位授与機関	大阪大学
学位授与番号	14401乙第07125号
学位記番号	12829
URL	http://hdl.handle.net/11094/513
言語	英語
DOI	info:doi/10.11501/3129221
カテゴリ	博士論文本文あり / その他 / 1996年度
カテゴリ	博士論文 / その他 / 1996年度

著者版フラグ	ETD
NII資源タイプ	学位論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
dcmi資源タイプ	text
DC.title	Polynomial Time Verification Methods for the Security of Cryptographic Protocols
DCTERMS.alternative	暗号を用いたプロトコルに対する多項式時間安全性検証法
DC.creator	Watanabe, Hajime
DC.creator	渡邊, 創
DC.language" scheme="DCTERMS.RFC1766	英語
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/513
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1997-02-20
DC.identifier	info:doi/10.11501/3129221
citation_title	Polynomial Time Verification Methods for the Security of Cryptographic Protocols
citation_author	Watanabe, Hajime
citation_language	英語
citation_public_url	http://hdl.handle.net/11094/513
citation_date	1997-02-20
citation_doi	info:doi/10.11501/3129221