様相論理による坪性の定義および認証プロトコルの安全性検証
-
- 櫻井 幸一
- 九州大学
Bibliographic Information
- Title
- 様相論理による坪性の定義および認証プロトコルの安全性検証
- Author
- 今本 健二, 櫻井 幸一
Journal
-
- コンピュータセキュリティ研究会(CSEC) Vol.54
-
コンピュータセキュリティ研究会(CSEC) Vol.54 55-60, 2004
- Tweet
Details
-
- CRID
- 1010282256844954121
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
