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

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

分布式计算机动态取证模型

提出一个分布式计算机动态取证模型,在被保护系统中进行实时动态的证据采集,将证据及时、完整地存储到安全的证据中心,为证据分析和提取工作提供可信的原始证据数据。     

访问控制策略描述和应用

访问控制是重要的信息系统安全机制。在日趋复杂的应用中有效利用访问控制成为一个难题。该文提出了一种访问控制描述方法和服务域的概念。这种方法以服务域作为访问控制策略的组织单元,简化访问控制的管理和使用。