计算机应用 ›› 2005, Vol. 25 ›› Issue (05): 1219-1221.DOI: 10.3724/SP.J.1087.2005.1219

• 典型应用 • 上一篇    下一篇

基于Petri网的程序缓冲区溢出检测方法

黄金志1,胡健生2,廖赟1,柴仁1   

  1. 1.解放军理工大学通信工程学院; 2.解放军理工大学理学院
  • 发布日期:2005-05-25 出版日期:2005-05-01

Detection method of program buffer overflow based on Petri Net

HUANG Jin-zhi1, HU Jian-sheng2, LIAO Yun1, CHAI Ren-wen1   

  1. 1. Institute of Communication Engineering, PLA UST, Nanjing Jiangsu 210007, China; 2. Institute of Science, PLA UST, Nanjing Jiangsu 210014, China
  • Online:2005-05-25 Published:2005-05-01

摘要: 由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。

关键词: 着色Petri网, CPNTools, 缓冲区溢出

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

中图分类号: