【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Polynomial time verification methods for the security of cryptographic protocols 暗号を用いたプロトコルに対する多項式時間安全性検証法

この論文をさがす

著者

    • 渡邊, 創 ワタナベ, ハジメ

書誌事項

タイトル

Polynomial time verification methods for the security of cryptographic protocols

タイトル別名

暗号を用いたプロトコルに対する多項式時間安全性検証法

著者名

渡邊, 創

著者別名

ワタナベ, ハジメ

学位授与大学

大阪大学

取得学位

博士 (工学)

学位授与番号

乙第7125号

学位授与年月日

1997-02-20

注記・抄録

博士論文

14401乙第07125号

博士(工学)

大阪大学

1997-02-20

12829

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p5 (0005.jp2)
  3. 1 Introduction / p1 (0006.jp2)
  4. 2 Implementation of Polynomial Time Decision Algorithm for Security of Cryptographic Protocols and Its Evaluation / p4 (0008.jp2)
  5. 2.1 Introduction / p4 (0008.jp2)
  6. 2.2 Security Problem / p5 (0009.jp2)
  7. 2.3 A Sufficient Condition under which Security Problem is Decidable / p6 (0009.jp2)
  8. 2.4 Polynomial Time Decision Algorithm for the Security Problem / p8 (0010.jp2)
  9. 2.5 Implementation of Decision Algorithm / p12 (0012.jp2)
  10. 2.6 Experimental Results and Evaluation / p15 (0014.jp2)
  11. 2.7 Conclusions / p23 (0018.jp2)
  12. 3 A Polynomial Time Verification Method for Security of a Wider Class of Cryptographic Protocols / p27 (0020.jp2)
  13. 3.1 Introduction / p27 (0020.jp2)
  14. 3.2 Generalized Security Problem / p29 (0021.jp2)
  15. 3.3 Polynomial Time Verification Method / p34 (0024.jp2)
  16. 3.4 Verification Example: Verification for Security of Kerberos Protocol / p40 (0027.jp2)
  17. 3.5 Conclusions / p41 (0027.jp2)
  18. 4 Conclusions / p42 (0028.jp2)
  19. Appendix A: Proofs of Theorems / p44 (0029.jp2)
  20. References / p47 (0031.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000150097
  • NII著者ID(NRID)
    • 8000001060951
  • DOI(NDL)
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000000314411
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ