Journal of Computer Applications ›› 2005, Vol. 25 ›› Issue (05): 1219-1221.DOI: 10.3724/SP.J.1087.2005.1219
• Typical applications • Previous Articles Next Articles
HUANG Jin-zhi1, HU Jian-sheng2, LIAO Yun1, CHAI Ren-wen1
Online:
Published:
黄金志1,胡健生2,廖赟1,柴仁1
Abstract: Most security problems of software result from the buffer overflow, therefore, in order to decrease security bug of software, a detection method of primary code buffer overflow based on color Petri Net was put forward. Its correctness and simpleness were proved by simulation using the CPNTools.This added a new method for the buffer overflow detection of software.
Key words: color Petri Net, CPNTools, buffer overflow
摘要: 由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。
关键词: 着色Petri网, CPNTools, 缓冲区溢出
CLC Number:
TP309
HUANG Jin-zhi, HU Jian-sheng, LIAO Yun, CHAI Ren-wen. Detection method of program buffer overflow based on Petri Net[J]. Journal of Computer Applications, 2005, 25(05): 1219-1221.
黄金志,胡健生,廖赟,柴仁. 基于Petri网的程序缓冲区溢出检测方法[J]. 计算机应用, 2005, 25(05): 1219-1221.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://www.joca.cn/EN/10.3724/SP.J.1087.2005.1219
http://www.joca.cn/EN/Y2005/V25/I05/1219