情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,<特集>ソフトウェア工学の理論と実践)
スポンサーリンク
概要
- 論文の詳細を見る
高安全性が要求される情報システムにおけるセキュリティ機能は設計・実現から運用・保守まで一貫して行われなければならない,しかし,情報システムにおけるセキュリティ機能の設計から保守までを一貫して支援するツールはこれまで存在していなかった.本論文では,様々なセキュリティ機能の設計から保守までを一貫して支援するために我々が提案した情報セキュリティ工学データベースシステムISEDSの開発と応用について述べる. ISEDSは,情報システムが満たすべきセキュリティ基準に関するデータや,セキュリティ機能の開発や保守の公開事例に関するデータや,各利用者がセキュリティ機能を開発し保守する際に自ら定義するデータを管理する.利用者は. ISEDSに格納されているデータを検索したり更新したりすることができるばかりでなく. ISEDSとその連携ツール群を用いて,セキュリティ機能の仕様書を簡単に作成や添削,検証することもできる.本研究では,まず,セキュリティ機能の設計仕様の評価基準に関する国際標準であるISO/IEC 15408 をISEDSが扱うセキュリティ基準の1つとして採用し. ISEDSの機能のうち,ISO/IEC 15408 に関連のあるデータを管理し,利用するための機能を実現した.
- 社団法人情報処理学会の論文
- 2007-08-15
著者
-
後藤 祐一
久留米大学外科
-
後藤 祐一
埼玉大学大学院理工学研究科
-
堀江 大輔
埼玉大学大学院理工学研究科
-
程 京徳
埼玉大学大学院理工学研究科
-
森本 祥一
産業技術大学院大学産業枝折研究科
-
森本 祥一
産業技術大学院大学
-
森本 祥一
埼玉大学工学部情報システム工学科
-
森本 祥一
専修大学
-
森本 祥一
専修大学経営学部
関連論文
- OP-255-5 肝細胞癌におけるソナゾイド造影超音波画像と病理組織像との比較 : ソナゾイド造影超音波は腫瘍組織を反映しているのか(画像診断-3,一般口演,第110回日本外科学会定期学術集会)
- SF-031-1 超音波造影剤を用いた肝内血流動態評価による,びまん性肝障害の肝線維化評価(肝治療-2,サージカルフォーラム,第110回日本外科学会定期学術集会)
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ENQUETE-BAISE:ユビキタスアンケートのための汎用電子アンケートサーバ (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- O-2-35 肝細胞癌切除例におけるソナゾイド造影超音波画像と病理組織像との比較検討(企画関連口演24 分子生物の臨床応用2,第64回日本消化器外科学会総会)
- 同期型e-Learningシステムを利用したプロジェクト型学習科目の設計と実践(若手の会(5))
- P-3-266 進行肝細胞癌に対するIVR治療によるdownstaging後の肝切除の意義(肝 集学的治療,一般演題(ポスター),第64回日本消化器外科学会総会)
- P-2-403 肝切除の術前肝予備能判定としてFibroscanの有用性(肝 術前評価1,一般演題(ポスター),第64回日本消化器外科学会総会)
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- JavaScriptと非同期HTTPリクエストによる共同作業支援ミドウェアの構築
- シナリオの図解化による業務フロー分析
- Ajaxによるリアルタイム分散MVCアーキテクチャ
- 同期型e-Learningシステムを用いたPBL実証実験の報告
- JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築
- O-018 地方路線バス会社へのICカード乗車券導入モデルの分析(O分野:情報システム,一般論文)
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- 強相関性原理を満たす決定可能な相関論理体系について
- 先行推論による予測とその論理基礎(予測技術の信頼性)
- ISO/IEC 15408に基づく情報セキュリティ要求管理データベース
- ユビキタスコンピューティングのためのソフトシステムバス技術
- 先行予測反応システム
- 先行予測反応システム
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- ソフトウェア開発工程における支援研究と実用化への課題
- E-027 楽譜記述言語と正規表現を用いた形式的楽曲分析(E分野:自然言語・音声・音楽)
- ソフトウェアクリエーション : 統合知的CASEツールの図面処理
- エンタープライズ・アーキテクチャにおける成果物の検証技法
- ソフトウェアクリエーション : 統合知的CASEツールの図面処理
- デジタルサイネージによる地域活性化事業の分析と活用方法の提案 (地域再生への道 : 3.11大震災後の地域づくり)
- 食品流通との対比によるアパレル流通の問題点と解決策の考察
- 教科書をベースとした授業用教材の共有手法の検討-演習系科目を対象に-
- PS-031-1 肝細胞癌におけるソナゾイド造影超音波画像と病理組織像との比較(PS-031 肝 肝細胞癌-3,第112回日本外科学会定期学術集会)
- WS-1-5 肝・胆道疾患に対する肝切除後,肝不全の発生と対策 : 術前門脈塞栓の意義(WS-1 ワークショップ(1)肝臓外科手術後の合併症対策の進歩-病態に基づく新たな治療戦略-)
- ISO/IEC15408に基づく情報セキュリティ要求管理データベース
- Ada 2012プログラムのためのタスキングデッドロック検出ツール
- I-047 ゲーミフィケーションが消費者行動に与える影響の事例分析(エンタテインメント,I分野:グラフィクス・画像)
- J-018 インターネットショッピングサイトにおける色彩効果活用の分析(ヒューマンコミュニケーション(2),J分野:ヒューマンコミュニケーション&インタラクション)
- N-006 情報リテラシ教育教材の電子化の検討(教育学習支援情報システム(1),N分野:教育・人文科学)
- O-032 ライブ・コンサートにおける聴覚障碍者支援の提案(ライフ支援,O分野:情報システム)
- K-001 テレビ離れ解決に向けたテレビとインターネットの共存に関する一考察(サイバーワールド,K分野:教育工学・福祉工学・マルチメディア応用)
- M-022 サイクルコンピュータを利用した自転車事故防止のための一考察(位置情報と交通安全支援,M分野:ユビキタス・モバイルコンピューティング)
- ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)
- ユビキタスコンピューティングの基盤としての永続コンピューティング
- D-27 imPress marker : 図書推薦用ブックマーカー : 図書館での本との出会いを演出するデザイン(カラーデザイン作品発表,第45回全国大会発表論文集)
- N-013 観光行動論に基づく観光情報システムの類型化と効果の分析(N分野:教育・人文科学,一般論文)
- M-022 ファッション業界におけるRFID導入により得られるデータの店内での活用法に関する考察(M分野:ユビキタス・モバイルコンピューティング,一般論文)