Polynomial Time Verification Methods for the Security of Cryptographic Protocols

Watanabe, Hajime

アクセス数:684件（2025-07-17 06:24 集計）

固定URL: https://doi.org/10.11501/3129221

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
12829_Abstract	pdf	なし	154 KB	99	2014.08.04	要旨/Abstract
12829_Dissertation	pdf	なし	7.58 MB	98	2012.09.22	論文/Dissertation

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

資源タイプ	博士論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	大阪大学, 1997, 博士論文
DC.title	Polynomial Time Verification Methods for the Security of Cryptographic Protocols
	暗号を用いたプロトコルに対する多項式時間安全性検証法
	アンゴウヲモチイタプロトコルニタイスルタコウシキジカンアンゼンセイケンショウホウ
DC.creator	Watanabe, Hajime
	ワタナベ, ハジメ
	渡邊, 創
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1997-02-20
DC.identifier	10.11501/3129221
DC.format	513
citation_title	Polynomial Time Verification Methods for the Security of Cryptographic Protocols
citation_author	Watanabe, Hajime
citation_language	英語
citation_public_url	https://hdl.handle.net/11094/513
citation_date	1997-02-20
citation_doi_detail	10.11501/3129221
citation_doi	https://doi.org/10.11501/3129221