堀田 英一 | 日本電信電話株式会社NTT情報流通プラットフォーム研究所
スポンサーリンク
概要
関連著者
-
堀田 英一
日本電信電話株式会社NTT情報流通プラットフォーム研究所
-
堀田 英一
NTT情報流通プラットフォーム研究所
-
小野 諭
Ntt情報流通プラットフォーム研究所
-
小野 諭
Ntt情報流通プラツトフォーム研究所
-
石本 英隆
NTT情報流通プラットフォーム研究所
-
石本 英隆
Ntt 情報流通プラットフォーム研
-
堀田 英一
日本電信電話株式会社 Ntt情報流通プラットフォーム研究所
-
真野 健
NTTコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
小野 諭
Nttソフトウェア研究所
-
小野 諭
日本電信電話株式会社
-
小暮 潔
日本電信電話株式会社 Nttコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話(株)基礎研究所
-
小川 瑞史
北陸先端科学技術大学院大学
-
小川 瑞史
Ntt
-
折原 慎吾
NTT情報流通プラットフォーム研究所
-
真野 健
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
小川 瑞史
Ntt ソフトウェア研究所
著作論文
- イベント順序証明システムの正当性の形式的証明
- ダイナミック・スライス型リンク方式による時刻証明の長期有効性保証方法(オフィスインフォメーションシステム及び一般)
- タイムスタンプ長期有効性保証フレームワーク(オフィスインフォメーションシステム及び一般)
- イベント順序証明システムの脅威分析
- イベント順序証明システムの実現機構
- イベント順序証明技術を用いた長期有効性保証タイムスタンプシステム
- スケーラブルで単一攻撃点のないイベント順序証明システム実現機構
- イベント順序証明技術を用いた長期有効性保証タイムスタンプシステム
- スケーラブルで単一攻撃点のないイベント順序証明システム実現機構
- π-計算の名前制限の名前生成による実装の正しさ
- 超高速ネットワークのためのルーチング技術