文章基本信息
- 标题：An Efficient Security Verification Method for Programs with Stack Inspection
- 本地全文：下载
- 作者：新田 直也 ; 高田 喜朗 ; 関 浩之 等
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2002
- 卷号：19
- 期号：3
- 页码：176-194
- DOI：10.11309/jssst.19.176
- 出版社：Japan Society for Software Science and Technology
