セキュアコーディングと準形式設計モデル
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア脆弱性の問題は、プログラマ個人のスキルの問題ではなく、ソフトウェア開発プロセスから対応すべきである。本研究では、セキュアコーディングの知見からセキュアソフトウェア設計を準形式的に定義し、その実用性と限界を論じる。
- 一般社団法人情報処理学会の論文
- 2005-05-19
著者
関連論文
- ユビキタス環境のためのスクリプト言語の設計
- 拡張性のある組み込みアプリケーションを実現するスクリプティング言語の開発
- DBPowder-mdl:EoDと記述力を兼備したO/Rマッピング言語
- リレーショナルスキーマを起点としたアプリケーション開発の一手法(インターネット環境でのデータ工学とディペンダビリティ)
- リレーショナルスキーマを起点としたアプリケーション開発の一手法(インターネット環境でのデータ工学とディペンダビリティ)
- リレーショナルスキーマを起点としたアプリケーション開発の一手法
- プロセスグループ別LSMのためのLSMフレームワーク拡張
- スクリプティング言語によるカーネル拡張
- B-008 実行コンテクストの変化に伴うアクセスコントロールの変更に関する研究(ソフトウェア,一般論文)
- セキュアコーディングと準形式設計モデル
- TRN:耐タンパ性ネットワーク(21世紀のコンピュータセキュリティ技術)
- 魔法の水晶:音声インタラクションを備えたAmbient Displayの実装
- PCO:インターネット上における分散的なスキーマに対応した複合ECコンテンツ記述言語
- プログラミングとマッピング
- 最適投資モデルに基づくセキュアシステム設計と事例研究
- 最適投資モデルに基づくセキュアシステム設計と事例研究
- 最適投資モデルに基づくセキュアシステム設計と事例研究
- ユビキタス環境を情報実体化する組込みデータベース(サービス・サービスイメージ)
- 非接触スマートカード上のユビキタスデータベース
- ビジネス・オントロジーの構築に向けて : XMLスキーマから翻訳可能なオントロジーへ
- 半構造オブジェクト : ユビクタスデータモデル
- 複合コンテンツサービス : 消費者指向のインターネットビジネス協調モデルの提案(:電子化知的財産・社会基盤)
- 大規模主記憶環境におけるGC方式の性能評価
- 分散障害管理のためのアクターベースのスクリプトフレームワーク
- オープンシステムディペンダビリティ : 新しいディペンダビリティへの挑戦
- 障害対応ワークフローに起こる二次リスクの保証事例の報告(システムのディペンダビリティ,2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012))
- アシュアランス駆動プログラミングに向けて
- シェル文法の拡張可能な自己文法拡張スクリプト言語
- Mindstorms NXTを対象としたKonoha処理系のコンパクト化
- JavaScript生成言語への難読化処理の適用と性能評価
- エラーコードによるフォルト診断の例外処理機構
- JavaScript実行環境におけるC言語プログラムの実行基盤
- Konoha PlayGround:Web上で動作する多言語ソースコード変換系
- ディペンダブルシェルの分散環境での利用に向けた拡張
- GSNからの実行可能なスクリプト生成の提案
- 例外処理機能を備えたシェル言語
- 実行環境との同期を含めたAssurance Casesの管理ツールの提案(ディペンダビリティ,並列/分散/協調とディペンダブルコンピューティング及び一般)
- 障害対応ワークフローに起こる二次リスクの保証事例の報告