著者

田辺 良則 高井 利憲 高橋 孝一

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.22, no.1, pp.1_2-1_44, 2005-01-26 (Released:2008-09-09)

被引用文献数

1

---

モデル検査技法は,仕様に対する設計の妥当性検証への適用において,近年大きな成功をおさめている.この技法の適用範囲をさらに広げるためには,状態数爆発問題を解決することが必要である.この問題を解決する方法として注目されている抽象化技法,およびそれを実装したツールを紹介する.

著者

戸田 賢二 海老原 一郎 瀬河 浩司 高橋 孝一 森川 治 古原 和邦

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013, no.44, pp.1-6, 2013-03-06

---

制御システムをマルウェアの脅威から防御する手段として制御システムを包み込みセキュリティのバリアを提供するデバイスの提案と開発状況について述べる.同デバイスは専用のFPGAボードであり,まずストレージのアクセス制御を中心に開発を行っている.本稿では,ファイルシステムへの対応手法について検討した.Security Barrier Device, an attachment to control system devices for protection against malware, is described. The device is a specially designed FPGA board, in which storage access control is firstly under development. This article has a discussion on access control method on file systems.

著者

高木 理 竹内 泉 高橋 孝一 和泉 憲明 村田 晃一郎 池田 満 橋田 浩一

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.26, 2012

---

複数の医療機関の間で医療サービスの質を公平に比較可能にする質指標を定義しその値を計算する方法を論ずる。特に、本発表では、医療サービスという公共性の高いサービスに対して、質評価の定性的な内容や趣旨の説明可能性を維持しつつ、量としての計算可能性や数値比較が厳密に出来ることを両立させる質指標の設計および運用の枠組みと、その効果・課題・問題点を整理する。