计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2005年
5期
1219-1221,1224
,共4页
黄金志%胡健生%廖赟%柴仁文
黃金誌%鬍健生%廖赟%柴仁文
황금지%호건생%료빈%시인문
着色Petri网%CPNTools%缓冲区溢出
著色Petri網%CPNTools%緩遲區溢齣
착색Petri망%CPNTools%완충구일출
由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的.因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性.这为软件的缓冲区溢出检测增添了一种新的方法.
由于軟件的安全性問題的很大一部分是由于緩遲區溢齣而引起的.因此,為瞭減少軟件的安全漏洞,本文提齣瞭一種利用著色Petri網的理論來檢測原代碼緩遲區溢齣方法,併用CPNTools進行倣真證明瞭該方法的正確性和簡便性.這為軟件的緩遲區溢齣檢測增添瞭一種新的方法.
유우연건적안전성문제적흔대일부분시유우완충구일출이인기적.인차,위료감소연건적안전루동,본문제출료일충이용착색Petri망적이론래검측원대마완충구일출방법,병용CPNTools진행방진증명료해방법적정학성화간편성.저위연건적완충구일출검측증첨료일충신적방법.
