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

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

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明
12829_Abstract	pdf	なし	154 KB	54	2014.08.04	要旨/Abstract
12829_Dissertation	pdf	なし	7.58 MB	57	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年度

ホームへ戻る