2002年
An Efficient Security Verification Method for Programs with Stack Inspection
コンピュータ ソフトウェア
- ,
- ,
- 巻
- 19
- 号
- 3
- 開始ページ
- 176
- 終了ページ
- 194
- 記述言語
- 英語
- 掲載種別
- DOI
- 10.11309/jssst.19.176
- 出版者・発行元
- 日本ソフトウェア科学会
- リンク情報
-
- DOI
- https://doi.org/10.11309/jssst.19.176
- CiNii Articles
- http://ci.nii.ac.jp/naid/130004548971
- CiNii Books
- http://ci.nii.ac.jp/ncid/AN10075819
- ID情報
-
- DOI : 10.11309/jssst.19.176
- ISSN : 0289-6540
- CiNii Articles ID : 130004548971
- CiNii Books ID : AN10075819
- identifiers.cinii_nr_id : 9000258237563