形式手法を用いたディジタル署名システムの安全性評価(<特集>ディペンダブルソフトウェア)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,ディジタル署名システムのモデル化と検証に形式手法を用いたケーススタディについて述べる.われわれは,複数OS(operating system)を1台の計算機上に共存させるDARMAと呼ばれるソフトウェア上に実装されたディジタル署名システムの安全性を検証した.具体的には,対象システムをPROMELA (PROcess MEta LAnguage)を用いてモデル化し,さらに,SPINモデルチェッカを用いてデータの完全性について検証を行った.以下では,われわれのモデル化のアプローチとその安全性検証から得られたメリットについて述べる.
- 日本ソフトウェア科学会の論文
- 2005-04-26
著者
-
手塚 悟
株式会社日立製作所システム開発研究所
-
宮崎 邦彦
(株)日立製作所システム開発研究所
-
手塚 悟
(株)日立製作所システム開発研究所
-
宮崎 邦彦
株式会社日立製作所システム開発研究所
-
手塚 悟
株式会社日立製作所 システム開発研究所
-
手塚 悟
第四部
-
宝木 和夫
(株)日立製作所システム開発研究所
-
手塚 悟
(株)日立製作所
-
Basin David
ETH Zurich
-
來間 啓伸
(株)日立製作所システム開発研究所
-
來間 啓伸
株式会社日立製作所システム開発研究所
-
宝木 和夫
(株)日立製作所 システム開発研究所
-
宝木 和夫
(株)日立製作所
-
來間 啓伸
(株)日立製作所
-
宮崎 邦彦
(株)日立製作所
関連論文
- モバイル向け証明書検証システムの開発(ネットワークセキュリティ,シームレスコンピューティングとその応用技術)
- 携帯端末を用いたFMC認証方式の開発(セキュリティ関係,一般)
- 時刻信頼性を検証するタイムスタンプ検証サーバ(ネットワークセキュリティ,情報システムを支えるコンピュータセキュリティ技術の再考)
- I-058 汎用プリンタ対応ドットパターン技術の研究開発(I分野:グラフィクス・画像)
- 小規模ベクトル地図コンテンツの公正利用促進に向けた線分分割方式による電子透かし利用システム
- 普及モデルPC上のソフトウェアによるリアルタイム動画電子透かし埋め込みシステム
- デジタル映像の真正性証明方法についての一考察
- 電子透かし検出に適した誤り訂正符号の拡張方式(セキュリティと社会)(プライバシを保護するコンピュータセキュリティ技術)
- 暗号ブレイク対応電子署名アリバイ実現機構(その2) : 詳細方式
- 不正プログラムから情報資産を保護するクライアント向けファイルアクセス制御方式の提案(ネットワークセキュリティ, 多様な社会的責任を担うコンピュータセキュリティ技術)
- 暗号に利用可能なモンゴメリ型楕円曲線の存在数に関する一考察(数論アルゴリズムとその応用,その1)
- サイドチャネル攻撃を防ぐモンゴメリ型楕円曲線上の高速なスカラー倍計算方法 : 理論的アプローチ(電子社会に向けたコンピュータセキュリティ技術)
- ISO15408/ISO27001統合型システムセキュリティ設計技法の提案(危機管理とリスク管理)
- Webサイトの真正性を確認可能とするインターネット・マークの提案
- 情報システムに対するセキュリティ国際評価基準の動向と日立製作所の対応 (特集 情報システムセキュリティ:Secureplazaとセキュアシステムソリューシヨン)
- 安全で機能制限のないデータベースを実現するマルチパーティプロトコルを用いた関係代数演算
- 交渉ゲームにおける鍵自己暴露戦略のインパクト : 電子署名技術の利用に係る新たな課題(セキュリティ基盤技術, 多様な社会的責任を担うコンピュータセキュリティ技術)
- データ喪失を想定したヒステリシス署名方式評価手法の提案(セキュリティと社会)(プライバシを保護するコンピュータセキュリティ技術)
- CORBAセキュリティポリシー管理ツールの実装(21世紀のコンピュータセキュリティ技術)
- 分散オブジェクトシステムにおけるモバイルコード用セキュリティ機構の提案
- 輪郭保存に基づく電子透かしの画質維持方式
- 企業情報向けグループ暗号システム
- モバイル環境での証明書検証方式の評価(セキュリティ,データ工学論文)
- 多機能ICカード向けPKI機能
- 安全で機能制限のないデータベースを実現するマルチパーティプロトコルを用いた関係代数演算
- 情報漏洩リスク低減のための内部統制と情報資産管理 (特集 企業改革の潮流と日立グループの考え方)
- B-7-125 セキュアサービスプラットフォームにおける通信仲介手法の一検討(B-7.情報ネットワーク,一般講演)
- 紙文書に対するセキュリティ技術の考察
- 紙文書に対するセキュリティ技術の考察
- 個人情報保護を考慮した電子文書公開システム(社会・人間系の情報システム,新たな適用領域を切り開く情報システム)
- セキュアサービスプラットフォームにおけるセキュア通信の状態検知
- 証明書検証サービスにおける認証パスキャッシュ方式の開発
- セキュアサービスプラットフォームにおけるセキュア通信の状態検知
- 証明書検証サービスにおける認証パスキャッシュ方式の開発
- セキュアサービスプラットフォームにおけるセキュア通信確立モデル(セッション4-B : ネットワークセキュリティ(1))
- X.509証明書の高速認証パス検証アルゴリズム(セッション1-C : PKI)
- セキュアサービスプラットフォームにおけるセキュア通信確立モデル(セッション4-B : ネットワークセキュリティ(1))
- X.509証明書の高速認証パス検証アルゴリズム(セッション1-C : PKI)
- B-7-16 セキュアサービスプラットフォームにおける認証モデルの一検討(B-7. 情報ネットワーク, 通信2)
- 証明書検証サービスの開発(情報セキュリティ応用)
- ヒステリシス署名における証拠情報公開方法
- 局所特徴量を用いた二値画像用電子透かしの画質維持方式(情報ハイディング)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 局所特徴量を用いた二値画像用電子透かしの画質維持方式
- 輪郭保存に基づく電子透かしの画質維持方式
- ディジタル署名と電子認証の動向
- 秘密分散データベースの構造演算を可能にするマルチパーティプロトコルを用いた関係代数演算
- 安心・安全な社会の実現に向けたセキュリティの研究開発 (特集 e-Japan戦略がひらく情報化社会の展望)
- 電子文書墨塗り問題
- 電子文書墨塗り問題
- デジタル署名付文書の長期的安全性に関する考察
- 携帯端末を用いたFMC認証方式の開発(セキュリティ関係,一般)
- 携帯端末を用いたFMC認証方式の開発(セキュリティ関係,一般)
- セキュアなリモート生体認証プロトコルの提案
- 第三者機関への依存度に基づく長期利用向け電子署名技術評価手法の提案(ソフトウェア・著作権保護)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- モバイルサービス向け認証基盤の開発(ネットワーク)
- X. 509証明書の高速認証パス検証アルゴリズム
- これからの社会を守る日立の先進セキュリティ技術 (安全・安心を支える日立グループのセキュリティソリューション)
- GBAプロトコルに基づいた認証情報連携技術の開発と評価(セキュリティ関係,一般)
- GBAプロトコルに基づいた認証情報連携技術の開発と評価(セキュリティ関係,一般)
- GBAプロトコルに基づいた認証情報連携技術の開発と評価(セキュリティ関係,一般)
- RM-009 スマートフォンを用いたリモート接続システムの開発と評価(ユビキタス・モバイルコンピューティング,査読付き論文)
- モバイル時代のセキュリティを支える公開かぎ基盤技術と動向 (特集 ブロードバンド,モバイルコンピューティングが変えるネットワーク社会)
- 多層論理ネットワーク管理コンセプトの提案 : バーチャルLAN管理への適用
- 企業規模パソコンLANシステムにおけるディレクトリサービスの設計・構築方式の開発
- パソコンLANシステム構築支援ツール:Easy Installer
- パソコンLANシステム構築支援ツールの開発
- 木構造を用いた墨塗り署名方式の効率評価
- 木構造を用いた墨塗り署名方式の効率評価
- 木構造を用いた墨塗り署名方式の効率評価
- A-7-2 大容量データの安全な流通・保存技術に関する研究開発(2) : 機密情報を利用者の役割等に応じ、選択的に開示する技術(A-7. 情報セキュリティ,一般セッション)
- 木構造を用いた墨塗り署名方式の効率評価 (コンピュータセキュリテイ)
- 複数受信者のための暗号化方式に関する一考察 : 安全性に関する検討と構成方法について
- 権限の異なる多重受信者のための暗号化方式(情報通信基礎サブソサイエティ合同研究会)
- 権限の異なる多重受信者のための暗号化方式(情報通信基礎サブソサイエティ合同研究会)
- 権限の異なる多重受信者のための暗号化方式(情報通信基礎サブソサイエティ合同研究会)
- 連鎖構造を用いた電子署名技術における信頼性評価手法の提案
- 連鎖構造を用いた電子署名技術における信頼性評価手法の提案
- 電子署名におけるアリバイ証明問題と経時証明問題--ヒステリシス署名とデジタル古文書の概念
- 政府認証基盤(GPKI)における証明書検証方式の提案
- パソコンLANシステムにおける統合遠隔構築支援ツール : Integrated Remote Easy Installer
- パソコンLANシステムにおける遠隔構築支援ツール : Remote Easy Installer(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- 大規模パソコンLANシステムにおける遠隔構築支援ツール : Remote Easy Installer
- パソコンLAN用ソフトウェア配布ツールの開発
- M-058 セキュアモバイルアクセス基盤の提案(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- RM-008 セキュアモバイルアクセス基盤のMICE事業への適用と評価(M分野:ユビキタス・モバイルコンピューティング,査読付き論文)
- 携帯電話を認証情報の保管庫として用いる端末連携認証システムの提案(ホームネットワーク,ユビキタスネットワーク,クラウドコンピューティング,コンテキストアウェア,位置情報サービス,eコマース及び一般)
- 形式手法を用いたディジタル署名システムの安全性評価(ディペンダブルソフトウェア)
- 文字コード処理方式による高速な印刷コントロール機能の開発
- 安全な地図情報配信システムに関する一考察
- 証明書検証サービス高速化方式の開発
- 端末の信頼性を確保した端末連携認証システムの提案
- 端末の信頼性を確保した端末連携認証システムの提案
- スマートホンをセキュアデバイスとして用いるリモート接続システムの開発と評価(ネットワークソフトウェア技術とその応用論文)
- 端末の信頼性を確保した端末連携認証システムの提案
- 端末の信頼性を確保した端末連携認証システムの提案(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信及び一般)
- 端末連携認証システムの開発と評価
- 安全な地図情報配信システムに関する一考察 (特集 多様な価値を創出する情報システム) -- (ITS)
- 公共業務システム開発における法令からの要件の抽出/検証手法の提案
- M-001 携帯端末と公共端末の連携による認証システムの提案(携帯端末アプリケーション,M分野:ビキタス・モバイルコンピューティング)
- モバイルアクセス基盤システムの開発と評価(情報ネットワーク,システム開発論文)