Art

J-GLOBAL ID：200902115473546047   Reference number：02A0433376

安全性を保証するANSI-C実行系の実装手法

Author (3)： OIWA YUTAKA (東京大学 大学院情報理工学系研究科) ,  SUMII EIJIRO (東京大学 大学院情報理工学系研究科) ,  YONEZAWA AKINORI (東京大学 大学院情報理工学系研究科)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 19  Issue： 3  Page： 39-44  Publication year： May. 15, 2002 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *C language ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=02A0433376&from=J-GLOBAL&jstjournalNo=Y0628A") }}

JST classification (1)： General-purpose programming language  (JD03051H)

Reference (12)：

• AUSTIN, T. M. Efficient Detection of All Pointer and Array Access Errors,. Proc. '94 Conference on Programming Language Design and Implementation (PLDI). 1994, 290-301
• COWAN, C. StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks,. Proc. 7th USENIX Security Conference. 1998, 63-78
• HARPER, R. Type safety, An Article posted to the Types Forum Mailing List. http://www.cis.upenn.edu/~bcpierce/types/archives/current/msg00299.html. 2000
• HASTINGS, R. Purify: Fast Detection of Memory Leaks and Access Errors. Proc. 1992 Winter USENIX Conference. 1992, 125-136
• KAUFER, S. Saber-C: an Interpreter-based Programming Environment for the C Language. Proc. 1998 Summer USENIX Conference. 1988, 161-171

Terms in the title (5)： 安全性 ,  保証 ,  ANSI ,  実装 ,  手法