• Top
  • Details (Local collection)
A Study on Security Verification of Real-Time Cryptographic Protocols

A Study on Security Verification of Real-Time Cryptographic Protocols

田中猛彦

生駒 : 奈良先端科学技術大学院大学, 1998.3

Thesis / Diss.

Volume No.

Total: 2
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • [IS]1998

Restricted

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R004991

Details

Publication year

1998

Alternative title

時間の概念を含む暗号プロトコルの安全性検証に関する研究

Series title

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 1998年3月

Note

学位記番号: 博第16号

報告番号: 甲第16号

授与年月日: 1998/03/24

学位の種類: 博士(工学)

学生番号: 9561024

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

田中, 猛彦 (タナカ, タケヒコ)