Art
J-GLOBAL ID:201202258020793273   Reference number:12A0573957

Highly Compatible and Precise Bounds Checking with a Race-avoiding Machinery

競合回避機構を備えた高互換かつ高精度な境界検査手法
Author (3):
Material:
Volume: 53  Issue:Page: 1150-1165  Publication year: Mar. 15, 2012 
JST Material Number: Z0778B  ISSN: 1882-7837  Document type: Article
Article type: 原著論文  Country of issue: Japan (JPN)  Language: JAPANESE (JA)
Thesaurus term:
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.

Semi thesaurus term:
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.

JST classification (2):
JST classification
Category name(code) classified by JST.
Computer system development  ,  Data protection 
Reference (42):
  • [1] CERT/CC, available from (http://www.cert.org/advisories/) .
  • [2] Evans, D., Guattag, J., Horning, J. and Tan, Y.: LCLint: A Tool for Using Specifications to Check Code, Proc. 2nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 1994/FSE-2), pp.87-96, ACM (1994).
  • [3] Wagner, D., Foster, J., Brewer, E. and Aiken, A.: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities, Proc. 7th Annual Network and Distributed System Security Symposium (NDSS 2000), pp.3-17, ISOC (2000).
  • [4] Larochelle, D. and Evans, D.: Statically Detecting Likely Buffer Overflow Vulnerabilities, Proc. 10th Conference on USENIX Security Symposium (USENIX Security '01), pp.177-190, USENIX Association (2001).
  • [5] Dor, N., Rodeh, M. and Sagiv, M.: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C, Proc. 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2003), pp.155-167, ACM (2003).
more...
Terms in the title (5):
Terms in the title
Keywords automatically extracted from the title.

Return to Previous Page