廣瀬 勝一 |
題名:応用指向セキュリティプロトコルについて |
アブストラクト:
本講演では,平成25年度から27年度に科研費基盤Cの助成を受けて実施した
「証明可能安全性を有する応用指向セキュリティプロトコルの開発」で得られた研究
成果のうち, (1) 安全なロギング方式 (2) 決定性有限オートマトンの紛失評価方式 (3) 鍵共有機能付きシングルサインオン方式 の概要を紹介する. キーワード:安全なロギング,オートマトンの紛失評価,シングルサインオン,鍵共有 |
Shoichi Hirose |
Title: Notes on Application-Oriented Security Protocols |
Abstract:
This talk is a report on our work ``Provably Secure Application-Oriented
Security Protocols'' supported by Grant-in-Aid for Scientific Research
(C). It will give an overview on the following topics: (1) Secure logging, (2) Oblivious evaluation of deterministic finite automata, and (3) Single sign-on with key agreement. Keywords: secure logging, oblivious automata evaluation, single sign-on, key agreement |