2000-CSEC-10-7 プログラムの冗長化に関する検討
スポンサーリンク
概要
- 論文の詳細を見る
プログラムの一部に冗長行を加えてもプログラムの実行結果に変わりはない。ここで、プログラムのどこにどのような冗長行を加えたかということを一種の「情報」として扱うことが可能である。つまり、プログラムの冗長化はプログラムそのものに情報を埋め込むことに値すると言える。この冗長化情報を秘密に保つことにより、プログラムの冗長化をセキュリティ技術の一つとして用いることができる。本稿では冗長化プログラムによる電子透かし、ステガノグラフィ、認証を例にとり、プログラムの冗長化のセキュリティ技術としての可用性を議論する。
- 一般社団法人情報処理学会の論文
- 2000-07-25
著者
-
曽我 正和
岩手県立大学 地域連携研究センター
-
西垣 正勝
静岡大学情報学部
-
田窪 昭夫
東京電機大学情報環境学部情報環境工学科
-
曽我 正和
Department Of Computer Science Faculty Ofcomputer Works Mitsubishi Electric Corpora-information &
-
中村 直己
株式会社ネットマークスネットワークセキュリティ事業部
-
中村 直己
静岡大学大学院情報学研究科
-
田窪 昭夫
三菱電機情報システム製作所
関連論文
- 非接触ICカード用セキュアプロセッサSEP-6の開発(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 不審な挙動の検知による内部犯対策(セッション9-B : 情報漏洩対策)
- 1N-3 接触型ICカード用セキュアプロセッサSEP-7の開発(組込みとセキュリティ,学生セッション,アーキテクチャ)
- ユーザの生活履歴を用いた認証方式 : 電子メール履歴認証システム(ネットワークセキュリティ)
- 3ZD-9 制動力保持機構を持つブレーキシステムにおける学習手法を用いた保持制御(センシング・複雑系・その他,学生セッション,人工知能と認知科学)
- 2ZH-7 アーキテクチャ学習のためのCPUシミュレータの設計と評価(プログラム教育,学生セッション,コンピュータと人間社会)
- 5ZB-2 サイドチャネル攻撃に対するセキュアプロセッサSEP-6の耐タンパ性の評価(セキュリティ(5),学生セッション,セキュリティ)
- 1ZB-8 ホームページ改ざん検知システムにおけるコンテンツ更新状況に基づく更新作業効率化(セキュリティ(1),学生セッション,セキュリティ)
- 4ZA-3 制動力保持機構を持つブレーキ制御システムのための自動起動手法の実車試験による評価(ITS運転支援・画像処理,学生セッション,ネットワーク)
- 1X-4 枝打ロボットのための切断機動作計画アルゴリズム : 実環境に向けた評価と改良(ロボット,学生セッション,人工知能と認知科学)
- 2Q-6 ソフトウェアの不具合箇所のパターン群を用いた検出法(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 6P-5 予防接種支援システムにおける接種計画作成法に関する研究(数理モデルの応用,学生セッション,ソフトウェア科学・工学)
- D-3-8 ソフトウェア製品の不具合原因コードパターン検出のための静的解析法(D-3. ソフトウェアサイエンス,一般セッション)
- 枝認識システムを有する枝打ロボットのための小型な切断機構の開発
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 再利用可能なコード設計によるクロックレベルシミュレータの開発
- 携帯電話を用いた予防接種支援システムの開発
- 視覚特性を利用した画像型ディジタルコンテンツの不正コピー防止(セキュリティと社会, 多様な社会的責任を担うコンピュータセキュリティ技術)
- 1P1-N-031 枝検出システムを有する枝打ちロボットのための枝マップ構築(非接触センシング,生活を支援するロボメカ技術のメガインテグレーション)
- D-6-6 セキュアプロセッサSEP-5用シミュレータの開発(D-6. コンピュータシステム, 情報・システム1)
- A-9-2 相互監視による障害検知システムにおけるハートビート自動挿入(A-9. 信頼性, 基礎・境界)
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- ユーザ生成情報を利用したホームページ改竄検知システム
- インターネットにおける動的データ改竄検知方式
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- セキュアプロセッサの開発(アーキテクチャ全般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- セキュリティ対策選定の実用的な一手法の提案とその評価(セキュリティと社会)(プライバシを保護するコンピュータセキュリティ技術)
- メカニズムベースPKI : 指紋からの秘密鍵動的生成(セキュリティ基盤技術)(プライバシを保護するコンピュータセキュリティ技術)
- 経験による想起の容易さを利用した認証方式(セッション5A 高信頼プラットフォームと暗号要素技術)
- ウイルスとワクチンの拡散形態によるウイルス感染状況の変化(セッション2A ウィルス)
- RSA暗号の秘密鍵保護機能と暗号計算機能をもつICカード用汎用プロセッサの設計
- A-9-1 相互監視による高信頼度分散システム(ハートビート発生方式)
- ライトワンス文書管理システム(セキュリティプロトコル・電子公証)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- ディジタル署名とパトロールを用いた電子情報改ざん検知方式とWWWへの応用(ネットワークセキュリティ)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 賞金稼ぎの仕組みを利用したディジタルコンテンツの監視方式(ソフトウェア・著作権保護)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- セキュリティ対策案選択問題のモデル化
- セキュリティ対策案選択問題のモデル化
- ミニマム・オンライン・アプリケーション方式によるプログラムの不正使用防止
- ハイブリッドチャネルによるセキュア通信方式
- ハイブリッドチャネルによるセキュア通信方式
- Web上の著作コンテンツを監視する方式の比較検討 : 賞金稼ぎの仕組みを利用したディジタル著作物の監視方式の有効性
- コードパターンの検出に適したC言語前処理系解析器の開発
- 不審な挙動の検知による内部犯対策(その2)(セッション6-B:不正検知)
- 不審な挙動の検知による内部犯対策(その2)(セッション6-B:不正検知)
- 統計的AD変換による生体情報を用いたChallenge & Response型ネットワーク認証の提案
- 統計的AD変換による生体情報を用いたChallenge & Response型ネットワーク認証の提案
- コードパターンの検出に適したC言語前処理系解析器の開発
- Web上の著作コンテンツを監視する方式の比較検討 : 賞金稼ぎの仕組みを利用したディジタル著作物の監視方式の有効性
- サーバ・クライアント間の同期型情報管理によるソフトウェア保護
- 輝度値変更型変調方式による画像型ディジタルコンテンツの不正コピー防止 : 復元された画像についての視覚実験
- サーバ・クライアント間の同期型情報管理によるソフトウェア保護
- 輝度値変更型変調方式による画像型ディジタルコンテンツの不正コピー防止 : 復元された画像についての視覚実験
- ダブルチェック型文書管理システム
- ダブルチェック型文書管理システム
- ダブルチェック型文書管理システム
- 動的復号型表示方式による画像コンテンツの不正コピー防止(21世紀のコンピュータセキュリティ技術)
- 再構成可能計算機を用いた不正コピーの防止
- 再構成可能計算機を用いた不正コピーの防止
- データのスクラッチングと動的復元によるバイナリープログラムの不正コピー防止方式
- 2000-CSEC-10-7 プログラムの冗長化に関する検討
- ISEC2000-29 プログラムの冗長化に関する検討
- ホームページ改竄パトロール方式
- コードパターンの検出に適したC言語前処理系解析器の開発
- 故障発生の診断が可能な耐故障回路
- 2ZA-1 制動力保持機構を持つブレーキ制御システムにおける可視光通信を用いた保持制御(ITS応用,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 7. 個人識別と暗号技術(1. 21世紀初頭の暗号技術)(電子社会を推進する暗号技術)
- 自然画像を用いた視覚復号型秘密分散によるテキストハイディング
- 自然画像を用いた視覚復号型秘密分散によるテキストハイディング
- 自然画像を用いた視覚復号型秘密分散によるテキストハイディング
- コンテンツ流通サービスにおけるセキュリティ課題 : (パネル討議)
- コンテンツ流通サービスにおけるセキュリティ課題 : パネル討議
- コンテンツ流通サービスにおけるセキュリティ課題 : パネル討議
- 故障診断機能を有する耐故障組合せ回路 : ゲート間配線の単一断線故障に対する耐故障化
- 送受信データ間の相関に基づく未知ワーム検知を利用した蔓延防止手法の提案(ネットワークセキュリティ)
- 自己ファイルREADの検出による未知ワーム・変異型ワームの検知方式の提案(セッション8-B:ワーム対策)
- 動的API検査方式によるキーロガー検知方式の提案(セッション6-B:不正検知)
- 自己ファイルREADの検出による未知ワーム・変異型ワームの検知方式の提案(セッション8-B:ワーム対策)
- 動的API検査方式によるキーロガー検知方式の提案(セッション6-B:不正検知)
- 動的復号型暗号方式による画像コンテンツの不正コピー防止
- ホームページ改竄パトロール方式
- 動的復号型暗号方式による画像コンテンツの不正コピー防止
- 2G-6 ユーザに対して秘匿される秘密情報の受け渡し
- 情報セキュリティ実現に関する一考察
- コンテンツ支払い型ショッピング方式による著作権保護(その2)(セッション7-B : コンテンツ保護・電子透かし)
- コンテンツ支払い型ショッピング方式による著作権保護(その2)(セッション7-B : コンテンツ保護・電子透かし)
- 不審な挙動の検知による内部犯対策(セッション9-B : 情報漏洩対策)
- 仕様記述言語LOTOSからハードウェア記述言語VHDLへの変換
- 任意の有限状態機械を学習するニューラルネットワークによる通信プロトコルの実装
- セキュアなユーザ応答時間測定機構の詳細設計
- セキュアなユーザ応答時間測定機構の詳細設計
- ポケット・エージェント・デバイスを用いた電波ブラインド領域での情報通信
- 画像記憶のスキーマを利用したユーザ認証システム(ネットワークセキュリティ, 多様な社会的責任を担うコンピュータセキュリティ技術)
- ニーモニックに基づくワンタイム・パスワード型画像認証の実現可能性に関する検討(セッション9-B:認証(2))
- ニーモニックに基づくワンタイム・パスワード型画像認証の実現可能性に関する検討(セッション9-B:認証(2))
- 1P1-H06 枝打ロボットのための枝マップ構築システムの評価と改良(非接触センシング)
- 研究シーズから製品化までの道のり : 産学連携のひとつの溝
- ニューラルネットワークの耐最悪故障化学習
- 1J-11 耐最悪故障化学習の拡張
- プライバシーとセキュリテイ