様相論理による坪性の定義および認証プロトコルの安全性検証
-
- 櫻井 幸一
- 九州大学
書誌事項
- タイトル
- 様相論理による坪性の定義および認証プロトコルの安全性検証
- 著者
- 今本 健二, 櫻井 幸一
収録刊行物
-
- コンピュータセキュリティ研究会(CSEC) Vol.54
-
コンピュータセキュリティ研究会(CSEC) Vol.54 55-60, 2004