计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
z1期
382-387,424
,共7页
谢汶兵%姜军%李中升%牛夏牧
謝汶兵%薑軍%李中升%牛夏牧
사문병%강군%리중승%우하목
Libsafe库检测%栈帧指针%堆栈活动记录%指令特征码%回溯栈%哈希函数
Libsafe庫檢測%棧幀指針%堆棧活動記錄%指令特徵碼%迴溯棧%哈希函數
Libsafe고검측%잔정지침%퇴잔활동기록%지령특정마%회소잔%합희함수
Detection of Libsafe library%Stack frame pointer%Activate record%Attribute code of instruction%Look back upon stack%Hash function
C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁.讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性.提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法.逐条匹配函数体指令与已知候选集指令来获取栈信息.并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索.对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析.从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性.
C/C++提供瞭很多高效的諸如strcpy等字符串操作庫函數,但由于缺乏相應安全邊界檢查機製,存在著一些容易被攻擊者利用的緩遲區溢齣漏洞與威脅.討論已有的Libsafe安全庫增彊機製併分析瞭其依賴于棧幀指針迴溯棧活動記錄的跼限性.提齣基于程序指令特徵碼匹配來迴溯函數棧活動記錄的Libsafe安全庫增彊方法.逐條匹配函數體指令與已知候選集指令來穫取棧信息.併在追溯棧活動記錄時,將已迴溯到的棧活動記錄用哈希函數保存,以返迴地阯作為關鍵字用鏈地阯法進行檢索.對改進版Libsafe安全庫檢測方法做瞭算法可行性和複雜度分析.從靈敏性、完整性、準確性、性能等幾箇方麵做瞭實驗與分析,錶明該機製的高效性與可用性.
C/C++제공료흔다고효적제여strcpy등자부천조작고함수,단유우결핍상응안전변계검사궤제,존재착일사용역피공격자이용적완충구일출루동여위협.토론이유적Libsafe안전고증강궤제병분석료기의뢰우잔정지침회소잔활동기록적국한성.제출기우정서지령특정마필배래회소함수잔활동기록적Libsafe안전고증강방법.축조필배함수체지령여이지후선집지령래획취잔신식.병재추소잔활동기록시,장이회소도적잔활동기록용합희함수보존,이반회지지작위관건자용련지지법진행검색.대개진판Libsafe안전고검측방법주료산법가행성화복잡도분석.종령민성、완정성、준학성、성능등궤개방면주료실험여분석,표명해궤제적고효성여가용성.
