ソフトウェア完全性検証技術(<特集>安全で安心できるe-社会を実現するソフトウェアとシステム技術)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2004-04-15
著者
-
宗藤 誠治
日本アイ・ビー・エム(株)
-
横手 靖彦
ソニー(株)アーキテクチャ研究所
-
横手 靖彦
ソニー(株)ceソフトウェアプラットフォーム部門
-
丸山 宏
アイ・ビー・エム ビジネスコンサルティングサービス(株)
-
篠崎 郁生
ソニー(株)CEソフトウェアプラットフォーム部門
関連論文
- 高信頼を実現するLinuxの新しい機能 (特集 Linuxのセキュリティ機能)
- 全国大会の革新と展望(記念大会が示した情報処理の未来-情報処理学会創立50周年記念(第72回)全国大会報告)
- 5 高信頼を実現するLinuxの新しい機能(Linuxのセキュリティ機能)
- Trusted Network Connect : TPMの利用管理技術の動向
- トラステッド・コンピューティングによるHTTP-FUSE KNOPPIXクライアントのセキュリティ強化
- トラステッド・コンピューティングによるHTTP-FUSE KNOPPIXクライアントのセキュリティ強化
- トラステッド・コンピューティングによるHTTP-FUSE KNOPPIXクライアントのセキュリティ強化
- 多重キャリー・スキップを使った大規模マルチプライア
- Lispのプログラミング環境 (<小特集>Lispの最近の動向)
- ApertosオペレーティングシステムによるIPv6ルータの構築
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- 広域ネットワークにおけるホスト移動透過性 (分散オペレーティングシステム)
- 並行オブジェクト指向言語 : Concurrent Smalltalk
- スロット仮想空間によるオブジェクト間通信の高速化
- ATAドライブを用いたRAIDサブシステムの構成
- 二重化内部データバスを持つRAIDシステム
- 二重化内部データバスを持つRAIDシステムの制御
- 編集にあたって(安全で安心できるe-社会を実現するソフトウェアとシステム技術)
- 安全なジョブの遠隔実行を可能にするTrusted Platform on demand(セッション5A 高信頼プラットフォームと暗号要素技術)
- セキュリティテスト手法(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- セキュリティ教育のシラバスおよびコンテンツ
- H/Wアクセラレータによるハッシュ関数の高速演算
- ソフトウェア完全性検証技術(安全で安心できるe-社会を実現するソフトウェアとシステム技術)
- 人工知能におけるゲームの役割(知能ロボットの技術:人工知能からのアプローチ(前編))
- チャーリー・カウフマン, ラディア・パールマン, マイク・スペシナー(著), ネットワークセキュリティ, プレンティスホール, 1997年, 5,200円, ISBN4-931356-98-2
- 安西祐一郎 著, "認識と学習", 岩波講座ソフトウェア科学16, A5判, 433p., \3,800, 1989
- John F.Sowa 著, "Conceptual Structure :Information Processing in Mind and Machine", The Systems Programming Series Addison-Wesley, 481p.
- XOR付きクロスバースィッチを用いたDual-Bus RAIDシステム
- オブジェクト指向 OS Apertos を用いた分散環境の実現
- IT融合社会 -情報技術の新たな地平線-