雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
リポジトリ登録支援システム
附属図書館
このアイテムのアクセス数:
288
件
(
2022-07-02
17:43 集計
)
このアイテムへのリンクには次のURLをご利用ください:
https://doi.org/10.11501/3129221
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/513
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
12829_要旨
pdf
154 KB
31
要旨/Abstract
12829_論文
pdf
7.58 MB
42
論文/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