プログラム解析から得られる情報を用いた実行監視について

永藤 直行; 渡部 卓雄

論文・著書情報

タイトル

和文:	プログラム解析から得られる情報を用いた実行監視について
英文:

著者

和文:	永藤直行, 渡部卓雄.
英文:	Naoyuki Nagatou, 渡部卓雄.

言語

Japanese

掲載誌/書名

和文:	日本ソフトウェア科学会大会講演論文集
英文:

巻, 号, ページ

Vol. 21 No. 0 pp. 67-67

出版年月

出版者

和文:	日本ソフトウェア科学会
英文:

会議名称

和文:
英文:

開催地

和文:
英文:

アブストラクト

実行監視とは、プログラムの各実行ステッぷを観測し、それがセキュリティーポリシに違反するときにはそのプログラムを停止させるなどしてポリシに違反しないことを保障する機構の総称である。
実行監視によって強制されるポリシのクラスは安全性であることが知られている。我々は、プログラムから得られる情報をもちいて強制可能なポリシのクラスについて議論する。本稿では、特に機密性と上限つき可用性について議論する。

【重要】T2R2・STARSearchの停止と後継システムについて

論文・著書情報