博士論文

Computationally sound formal models for cryptographic protocols

Icons representing 博士論文

Computationally sound formal models for cryptographic protocols

Call No. (NDL)
UT51-2010-P504
Bibliographic ID of National Diet Library
000011113007
Material type
博士論文
Author
Yusuke Kawamoto [著]
Publisher
[Yusuke Kawamoto]
Publication date
[2010]
Material Format
Paper
Capacity, size, etc.
1冊
Name of awarding university/degree
東京大学,博士 (情報理工学)
View All

Notes on use

Note (General):

博士論文

Search by Bookstore

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.

Paper

Material Type
博士論文
Author/Editor
Yusuke Kawamoto [著]
Author Heading
川本, 裕輔 カワモト, ユウスケ
Publication, Distribution, etc.
Publication Date
[2010]
Publication Date (W3CDTF)
2010
Extent
1冊
Alternative Title
暗号プロトコルの計算論的に健全な形式的モデル アンゴウ プロトコル ノ ケイサンロンテキ ニ ケンゼンナ ケイシキテキ モデル
Degree grantor/type
東京大学