データ処理システムのセキュリティ設計について
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、機密性要求や完全性要求が処理要求と同じように与えられたときに、安全で実行可能なプログラムを自動的に生成するシステムを開発するための、いくつかの基本原理を述べる。目的は、これらの要求を初めに仕様記述言語で記述して、その要求の矛盾を検出することである。セキュリティ設計にはERモデルを用いた仕様記述をすることにより、データ処理システムにおける機密性と完全性を処理関数を考慮して正確に評価することができる。また、本セキュリティモデルでは、通常のread, writeアクセスの他に実行時アクセスについても考慮している。
- 社団法人電子情報通信学会の論文
- 1993-10-26
著者
-
永瀬 宏
金沢工業大学情報フロンティア研究所
-
四七 秀貴
Nttネットワークサービスシステム研究所
-
四七 秀貴
金沢工業大学情報工学科
-
Edmundo Gutierrez
金沢工業大学情報工学科
-
永瀬 宏
金沢工業大学
関連論文
- 視覚障害者のための身体表現運動学習支援システムの開発(五感メディアの品質,仮想空間におけるコミュニケーションデザイン,一般)
- 視覚障害者のための身体運動学習支援システム(視覚障害・高齢者,HCGシンポジウム)
- 自律移動制御機構を持つコミュニケーションロボットに関する提案(五感メディアの品質,仮想空間におけるコミュニケーションデザイン,一般)
- カメラ画像を用いた配膳ロボットの移動制御に関する実装と評価(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 仮想空間と実空間のマッチングによるロボットの自律移動制御に関する提案
- キャリアグレードサーバにおける装置管理方式に関する一考察(次世代ネットワーク,SIP・プレゼンス,一般)
- 高可用サーバクラスタにおけるシステム更新方式の検討(システム構成・信頼性,ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- コンシステント・ハッシュ法におけるノード間のデータ冗長性を考慮したID割り当て手法(システム構成・信頼性,ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- 地域医療連携を支えるITの要求分析(聴覚と福祉情報工学・一般)
- グループを用いた階層的アクセス制御方式(ネットワークセキュリティ)
- ファイルシステムとしてのメディアストリーム制御機構の提案(SIP/NGN)
- Java-ASにおけるガベージコレクション対策に関する一考察(SIP/NGN・一般)
- 階層的セキュリティレベルの自由度を用いたアクセス権設定法
- データ処理システムのセキュリティ設計について
- B-19-22 ソフトウェア障害に耐性を持つ高可用サーバ方式についての一検討(B-19.ネットワークソフトウェア,一般セッション)
- B-7-108 コンシステント・ハッシュ法の呼処理サーバヘの適用に関する一検討(B-7.情報ネットワーク,一般セッション)
- B-6-107 ガベージコレクションを考慮したサーバ監視方式に関する一考察(B-6.ネットワークシステム,一般セッション)
- B-6-66 Parlay Xメディア制御APIゲートウェイの設計と実装(B-6.ネットワークシステム,一般セッション)
- B-6-69 SIP Servletからのメディアサーバ制御に関する一考察(B-6.ネットワークシステム,一般セッション)
- B-6-70 SIP Servletにおけるプロファイルデータアクセス方式に関する一考察(B-6.ネットワークシステム,一般セッション)
- Linuxを用いた高可用キャリアシステムにおけるタスク優先実行保証に関する一考察
- B-6-47 高信頼通信ノードシステムにおけるオンライントレーサの検討(B-6. ネットワークシステム, 通信2)
- B-6-84 OpenAPIにおけるクラスタ切替時のインターフェイス
- B-6-131 OpenAPI プラットフォームにおけるアプリケーションポータビリティの実現
- 高信頼・高性能なMEGACO/H.248プロトコルの実現に関する検討
- 次世代ネットワークにおけるOpen APIを利用したIP系サービスのリソース制御方式
- 高信頼・高性能なMEGACO/H.248プロトコルの実現に関する検討
- 次世代ネットワークにおけるOpenAPIを利用したIP系サービスのリソース制御方式
- 美術館における視覚障害者向け音声誘導システムの検討
- 美術館における視覚障害者向け音声誘導システムの検討
- 赤外線センサ群を用いた人物位置特定・追跡システムの検討(福祉情報工学一般)
- 視覚障害者向け美術館システムの検討 : ロボットによる誘導と作品の解説(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 電子カルテにおけるUMLを用いた動的なアクセス制御方式の検討(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 電子カルテにおけるUMLを用いた動的なアクセス制御方式の検討(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 電子カルテにおけるUMLを用いた動的なアクセス制御方式の検討(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- SIP手順を用いた介護医療のための地域ネットワーク
- 簡易人体骨格モデルを用いた3次元人体モデリング(メディア工学2,ITS画像処理,映像メディア,一般)
- 簡易人体骨格モデルを用いた3次元人体モデリング(メディア工学2,ITS画像処理,映像メディア,一般)
- 簡易人体骨格モデルを用いた3次元人体モデリング (ヒューマンインフォメーション・メディア工学・映像表現&コンピュータグラフィックス)
- 介護・医療用服装デザインシステムの検討
- 介護・医療用服装デザインシステムの検討(画像システム, ITS画像処理,映像メディア及び一般)
- 介護・医療用服装デザインシステムの検討(画像システム, ITS画像処理,映像メディア及び一般)
- 時間分割を用いた階層的アクセス権設定法(アクセス制御・認証)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 命令の先行発火により逐次処理を高速化したデータフローマシン
- 階層レベル構造を用いたUNIXセキュリティの強化法
- 入浴介助装置に関する新たの提案 : 背流しロボット(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- B-6-105 次世代ネットワークにおける分散環境の適応性について
- B-6-62 次世代ネットワークにおけるメディアゲートウェイ制御プロトコル:エージェントAPIの検討
- 背流しロボットの製作について (福祉情報工学)
- C-041 SIPプロトコル処理におけるガベージコレクションの影響評価に関する検討(ハードウェア・アーキテクチャ,一般論文)
- 背流しロボットのための人体姿勢情報抽出について(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 介護・医療分野におけるIT技術 : 過去5年間の研究プロジェクトの成果を踏まえて(次世代・新世代ネットワークアーキテクチャ,トラヒック計測・制御,サービス品質,ネットワーク管理,一般)
- 介護・医療分野におけるIT技術 : 過去5年間の研究プロジェクトの成果を踏まえて(次世代・新世代ネットワークアーキテクチャ,トラヒック計測・制御,サービス品質,ネットワーク管理,一般)
- 介護・医療分野におけるIT技術 : 過去5年間の研究プロジェクトの成果を踏まえて(次世代・新世代ネットワークアーキテクチャ,トラヒック計測・制御,サービス品質,ネットワーク管理,一般)
- カメラ画像を用いた配膳ロボットの移動制御に関する実装と評価(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- カメラ画像を用いた配膳ロボットの移動制御に関する実装と評価(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 準均一な探索間隔を有する格子点探索法
- 合成数の素因数存在領域を求める並列処理アルゴリズム
- RFIDを用いた院内感染対策の研究
- マルチプロセッサにおけるファイル構成法の検討
- 分散オブジェクト指向を適用したマルチプロセッサ形通信ノードシステムの構成
- マルチプロセッサにおけるファイル構成法の検討
- 分散オブジェクト指向を適用したマルチプロセッサ形通信ノードシステムの構成
- B-6-103 リアルタイムOS技術に基づく分散型通信ノードシステムにおけるプロセッサ間通信方式の検討
- B-6-99 マルチプロセッサ通信ノードの縮退構成における実行環境の最適化の検討
- Moodle をベースとする視聴覚障害者に配慮した教育システム
- Moodleをベースとする視聴覚障害者に配慮した教育システム(高齢者の認知機能保障技術及び一般)
- 1+1重化プロセッサ構成におけるサービス救済の検討
- データフロー型交換プログラムの実行制御方式に関する考察
- 通信ノードシステムへの分散処理技術CORBA適用法の検討
- 通信ノードシステムへの分散処理技術CORBA適用法の検討
- SB-11-3 複数IP制御に基づくCORBAの高信頼化
- B-6-30 マルチプロセッサ通信ノードにおけるプロセッサ間通信インタフェースの整合性に関する検討
- 分散オブジェクト指向を用いたマルチプロセッサ通信ノードにおける高速化手法の一提案
- SIP手順を用いた介護医療のための地域ネットワーク (コンシューマエレクトロニクス・メディア工学)
- データフローマシンの実行制御方式に関する考察
- ストリーム暗号の線形複雑度について
- 観光情報の登録並びに検索を支援する実験システムの設計と評価
- 観光情報の登録並びに検索を支援する実験システムの設計と評価
- ビデオ映像を使った医学生向け体験型学習コンテンツの開発(ITS画像処理,映像メディア,視覚及び一般)
- B-6-142 ASF&SSFにおけるAPL-GW-FEの実現方式の検討(B-6.ネットワークシステム,一般セッション)
- 背流しロボットの製作について(コミュニケーションの心理及び一般)
- ビデオ映像を使った医学生向け体験型学習コンテンツの開発(ITS画像処理,映像メディア,視覚及び一般)
- ビデオ映像を使った医学生向け体験型学習コンテンツの開発(ITS画像処理,映像メディア,視覚及び一般)
- 個人情報保護と情報公開を考慮した介護・医療分野向け情報フロー監視システムの提案(若手の会)
- Wiiリモコンを用いた視覚障害者のためのエアロビクス学習支援システムの開発(B-2 音楽と聴覚のデザイン,研究発表,芸術工学会2010年度秋期大会in浜松)
- 先行発火を行うデータフローアーキテクチャ
- 有限体上の画像符号化に関する検討
- アイデアの蓄積・共有を円滑に行う発想支援システム開発 : マルチタッチデバイスを使って意欲向上に繋がるインタラクションを(A-1 デザインの発想と評価,研究発表,芸術工学会2010年度秋期大会in浜松)
- ビデオ映像を使った医学生向け体験型学習コンテンツの開発
- モーションキャプチャを用いた視覚障害者のためのエアロビクス学習支援システムの開発(バリアフリー,研究発表,芸術工学会2009年度秋期大会(神戸))
- 観光案内のためのコンテンツサーバ構成法の検討
- 地域伝統工芸のための生活者と生産者によるコミュニティ型発想支援のしくみ(B-1 コミュニケーションデザイン,研究発表,芸術工学会2011年度秋期大会in金沢)
- M-050 赤外線センサ群を用いた人物位置推定システムの提案(位置情報とセンサネットワーク,M分野:ビキタス・モバイルコンピューティング)
- K-026 電子書籍を用いた教育への応用(教育工学(4),K分野:教育工学・福祉工学・マルチメディア応用)
- K-048 人体測定データを用いた着装シミュレーション(マルチメディア・仮想環境基礎,K分野:教育工学・福祉工学・マルチメディア応用)
- L-007 仮想格子点を考慮した素因数分解の検討(セキュリティモデルと認証,L分野:ネットワーク・セキュリティ)
- SIP Servletクラスタにおけるダイアログ移動の実現方法(一般,ネットワークアーキテクチャ(オーバレイ,P2P、ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IP over WDM,マルチサービスパケット技術,MPLS),グリッド,一般)