2001年
An efficient security verification method for programs with stack inspection.
CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001.
- ,
- ,
- 巻
- 101
- 号
- 98
- 開始ページ
- 68
- 終了ページ
- 77
- 記述言語
- 英語
- 掲載種別
- 出版者・発行元
- ACM
実行時に制御スタックを検査することでアクセス制御を行うプログラム環境がある. 著者らはこれまでに, このようなプログラムがセキュリティ条件を満たすかどうかを決定する検証問題について考察し, その計算量の下界がPSPACE困難であること等を示した. 本発表では, Java development kit 1.2におけるアクセス制御をモデル化できるプログラムの部分クラスを導入し, そのクラスに対して検証問題がプログラムサイズの多項式時間で可解であることを示す.
- リンク情報
- ID情報
-
- ISSN : 0913-5685
- DBLP ID : conf/ccs/NittaTS01
- CiNii Articles ID : 110003277137
- CiNii Books ID : AN10013287