计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
9期
149-150,153
,共3页
姚立哲%吴强%梁昌宇%曾庆凯
姚立哲%吳彊%樑昌宇%曾慶凱
요립철%오강%량창우%증경개
动态代码检查%模式识别%解释器%时序安全特性%竞争条件
動態代碼檢查%模式識彆%解釋器%時序安全特性%競爭條件
동태대마검사%모식식별%해석기%시서안전특성%경쟁조건
随着Internet以及分布式系统的不断发展和广泛应用,安全问题正在逐渐成为研究的热点.其中关于恶意代码所导致的软件安全问题也引起了人们的关注.该文重点分析了时序安全特性和竞争条件等代码分析热点问题,给出了时序安全特性的分类以及形式化描述,提出了将模式识别应用于解释性语言中的动态代码检查方法.将该方法应用于Perl语言解释器中,实现了对Perl语言脚本的动态检查.
隨著Internet以及分佈式繫統的不斷髮展和廣汎應用,安全問題正在逐漸成為研究的熱點.其中關于噁意代碼所導緻的軟件安全問題也引起瞭人們的關註.該文重點分析瞭時序安全特性和競爭條件等代碼分析熱點問題,給齣瞭時序安全特性的分類以及形式化描述,提齣瞭將模式識彆應用于解釋性語言中的動態代碼檢查方法.將該方法應用于Perl語言解釋器中,實現瞭對Perl語言腳本的動態檢查.
수착Internet이급분포식계통적불단발전화엄범응용,안전문제정재축점성위연구적열점.기중관우악의대마소도치적연건안전문제야인기료인문적관주.해문중점분석료시서안전특성화경쟁조건등대마분석열점문제,급출료시서안전특성적분류이급형식화묘술,제출료장모식식별응용우해석성어언중적동태대마검사방법.장해방법응용우Perl어언해석기중,실현료대Perl어언각본적동태검사.
