Polynomial time verification methods for the security of cryptographic protocols
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Abstract
p1
Contents
p5
1 Introduction
p1
2 Implementation of Polynomial Time Decision Algorithm for Security of Cryptographic Protocols and Its Evaluation
p4
2.1 Introduction
p4
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 渡邊創 [著]
- Author Heading
- 渡邊, 創 ワタナベ, ハジメ
- Alternative Title
- 暗号を用いたプロトコルに対する多項式時間安全性検証法 アンゴウ オ モチイタ プロトコル ニ タイスル タコウシキ ジカン アンゼンセイ ケンショウホウ
- Degree grantor/type
- 大阪大学
- Date Granted
- 平成9年2月20日
- Date Granted (W3CDTF)
- 1997
- Dissertation Number
- 乙第7125号
- Degree Type
- 博士 (工学)