动态代码检查及其在解释性语言中的应用

摘要：

随着Internet以及分布式系统的不断发展和广泛应用,安全问题正在逐渐成为研究的热点.其中关于恶意代码所导致的软件安全问题也引起了人们的关注.该文重点分析了时序安全特性和竞争条件等代码分析热点问题,给出了时序安全特性的分类以及形式化描述,提出了将模式识别应用于解释性语言中的动态代码检查方法.将该方法应用于Perl语言解释器中,实现了对Perl语言脚本的动态检查.

关键词：动态代码检查、模式识别、解释器、时序安全特性、竞争条件

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

资助基金：中国科学院资助项目60473053;国家科技攻关项目2004AA147070

在线出版日期：2006-06-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：149-150,153